Picat Imperative Programming Constructs 2

Question 1

Which operator is used for destructive assignment in Picat's imperative mode?

Accepted Answer

:=

Answer

In Picat's imperative mode, := performs destructive (mutable) assignment, unlike = which is unification.

Question 2

What does the `foreach` loop in Picat use to iterate over a list?

Accepted Answer

foreach(X in List) do ... end

Answer

Picat's foreach loop uses the syntax `foreach(X in List) do ... end` to iterate over elements.

Question 3

In Picat, what happens when a `while` loop condition becomes false?

Accepted Answer

The loop terminates and execution continues after `end`

Answer

When the while loop condition is false, the loop exits and control passes to the statement after the end keyword.

Question 4

How do you declare a local variable inside a Picat imperative function?

Accepted Answer

No declaration needed; first assignment creates it

Answer

In Picat, variables do not need explicit declarations; the first assignment in a scope implicitly introduces them.

Question 5

Which Picat construct provides a `do ... while` style loop that tests the condition at the end?

Accepted Answer

Picat has no post-condition loop construct

Answer

Picat does not have a built-in do-while construct; programmers simulate post-condition loops with while or recursion.

Picat Practice Test