Picat General 5

Question 1

Which Picat module should you import to use SAT-based constraint solving instead of CP propagation?

Accepted Answer

sat

Answer

Picat's `sat` module encodes finite-domain constraints as propositional SAT clauses and calls a built-in SAT solver, offering an alternative to the `cp` propagation engine.

Question 2

What does `bp.pred_name(Args)` syntax allow in Picat?

Accepted Answer

Calling a B-Prolog built-in predicate not natively exposed in Picat

Answer

The `bp.` prefix lets Picat code call B-Prolog predicates directly, since Picat is built on the B-Prolog engine and exposes its built-ins this way.

Question 3

In Picat, what does the `foreach` loop construct do?

Accepted Answer

Iterates over a list or range, executing a goal for each element without building a return value

Answer

`foreach(E in List, Goal)` executes Goal for each element E in List purely for side effects, analogous to a for-each loop in imperative languages.

Question 4

What value does `max_list([3,1,4,1,5,9])` return in Picat?

Accepted Answer

9

Answer

`max_list/1` returns the largest element of the list, which is 9 in this case.

Question 5

Which Picat feature allows a predicate to be both used for generation and for checking without separate clauses?

Accepted Answer

Unification-based pattern matching with backtracking

Answer

Because Picat predicates use unification and backtracking, the same clause can generate solutions when arguments are unbound and verify correctness when arguments are ground.

Picat Practice Test

Picat Practice Test

Picat General 5