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

Functions can only be used for mathematical calculations, while predicates handle logic.

Answer

Functions are defined using the `function` keyword, whereas predicates use the `pred` keyword.

Answer

Functions cannot call predicates, but predicates can call functions.

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 function, because it can efficiently calculate and return a single list containing all the paths.

Answer

A function, because graph traversal is a purely computational task that should not fail.

Answer

A predicate, because functions are not allowed to be recursive, which is necessary for pathfinding.

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

A function call can be used directly within an arithmetic expression.

Answer

A function is considered a special kind of predicate.

Answer

If a function call does not match any of its defining rules, it will raise an exception.

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

It is a non-deterministic predicate that binds `R` to `N * 2`.

Answer

It is a predicate that checks if `N` is greater than 0.

Answer

It is a constraint that enforces `R` to be twice the value of `N`.

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

When you need to perform a simple, deterministic calculation that returns a single value.

Answer

When you want to guarantee that the operation will never fail and always produce a result.

Answer

When you want to embed the call directly into a mathematical formula for conciseness.

Question 6

How does Picat handle a call to a function for which no pattern-matching rule applies?

Accepted Answer

The call raises an exception and terminates the program.

Answer

The call fails silently, and the program continues.

Answer

The call succeeds and returns a `null` or `undefined` value.

Answer

The call enters an infinite loop.