Picat Imperative Programming Constructs 3

Question 1

In a Picat `if-then-else` expression, what is required if the else branch is omitted?

Accepted Answer

Omitting else is a syntax error in function mode

Answer

In Picat's functional/imperative mode, if without else is a syntax error; both branches must be present.

Question 2

How are multi-dimensional arrays indexed in Picat?

Accepted Answer

A[I,J]

Answer

Picat uses comma-separated indices inside a single bracket pair, e.g., A[I,J], for multi-dimensional array access.

Question 3

What built-in predicate fills an array with a default value in Picat?

Accepted Answer

There is no fill built-in; use a foreach loop to initialize

Answer

Picat allocates arrays with new_array but does not have a fill built-in; initialization requires iterating and assigning each element.

Question 4

Which statement about `return` in a Picat function is correct?

Accepted Answer

return Expr exits the function with value Expr

Answer

Picat supports the return Expr statement to exit a function early and produce a return value.

Question 5

In Picat, how is standard output written from an imperative function?

Accepted Answer

Both print(X) and printf(Fmt,Args) are valid

Answer

Picat provides both print/println for simple output and printf/writef for formatted output in imperative functions.

Picat Practice Test