Picat Functions vs. Predicates Questions and Answers

Question 1

What is the primary characteristic that distinguishes a Picat function from a Picat predicate?

Accepted Answer

Functions must always succeed and return exactly one value, while predicates can fail, succeed, or provide multiple answers via backtracking.

Answer

In Picat, a function is a specialized form of a predicate. The key difference is that a function is deterministic; it must always succeed and yield a single return value. Predicates, on the other hand, are more general: they can succeed (once or multiple times through backtracking) or they can fail.

Question 2

A developer needs to implement a feature that finds all possible paths between two nodes in a graph. Which Picat construct is more suitable for this scenario and why?

Accepted Answer

A predicate, because it can use backtracking to find and yield each path as a separate solution.

Answer

A predicate is the ideal choice for finding all possible paths because this task is inherently non-deterministic. A predicate can be defined with backtrackable rules (using `?=>`) to explore different branches of the graph. Each time a path is found, the predicate succeeds, and backtracking allows the search to continue for other potential paths.

Question 3

Which of the following statements about Picat functions is FALSE?

Accepted Answer

A function can be defined with backtrackable rules (`?=>`) to provide multiple return values.

Answer

Functions in Picat are deterministic and must return exactly one value. They cannot be defined with backtrackable rules (`?=>`), as this operator is specifically for non-deterministic predicates that can yield multiple solutions through backtracking. Functions always succeed once or raise an exception if no rule matches.

Question 4

Consider the following Picat code snippet:

```picat
main =>
  X = my_calc(5),
  println(X).

my_calc(N) = R, N > 0 => R = N * 2.
```

What is the role of `my_calc/1` in this program?

Accepted Answer

It is a function that returns the value of `N * 2`.

Answer

The syntax `my_calc(N) = R` defines a function named `my_calc` with one input argument `N` and a return value `R`. The expression `R = N * 2` calculates the return value. The call `my_calc(5)` evaluates to 10, which is then assigned to `X`.

Question 5

When is it more appropriate to use a predicate instead of a function in Picat?

Accepted Answer

When the primary purpose is to check if a certain condition is true or false without returning a specific value.

Answer

Predicates are ideal for relational logic, where the outcome is success or failure. If the goal is simply to verify a condition (e.g., checking for membership in a list, `member/2`), a predicate is the natural choice. It succeeds if the condition holds and fails otherwise. While a function could be forced to return a boolean, a predicate more directly expresses this logic.

Picat Practice Test

Picat Practice Test

Picat Functions vs. Predicates Questions and Answers