Picat Using Standard Modules 5

Question 1

Which predicate from the `lists` module appends two lists?

Accepted Answer

append/3

Answer

`append/3` unifies the third argument with the concatenation of the first two list arguments.

Question 2

In the Picat `io` module, what does `writef/2` do?

Accepted Answer

Writes formatted output using a format string

Answer

`writef/2` takes a format string and a list of arguments, printing formatted output similar to `printf`.

Question 3

What does `maps:keys(Map)` return?

Accepted Answer

A sorted list of all keys in Map

Answer

`maps:keys/1` returns a sorted list containing all the keys currently stored in the map.

Question 4

Which `util` module predicate removes duplicate elements from a list while preserving order?

Accepted Answer

remove_dups/2

Answer

`remove_dups/2` removes duplicate elements from the list while keeping the first occurrence of each element.

Question 5

In Picat, the `sat` module is used primarily for what purpose?

Accepted Answer

Satisfiability solving over Boolean variables

Answer

The `sat` module provides a SAT (Boolean satisfiability) solver that can handle Boolean constraints efficiently.

Picat Practice Test