Picat Picat Exception Handling and Debugging

Question 1

Which construct catches exceptions in Picat?

Accepted Answer

catch(Goal, Error, Handler)

Answer

try-catch

Answer

exception(Goal, Handler)

Answer

on_error(Goal, Handler)

Question 2

How do you raise an exception in Picat?

Accepted Answer

throw(Error)

Answer

raise(Error)

Answer

exception(Error)

Answer

error(Error)

Question 3

What is the standard ISO format for a type error term in Picat?

Accepted Answer

error(type_error(Type, Value), _)

Answer

type_error(Type, Value)

Answer

{type_error, Type, Value}

Answer

throw(type(Type))

Question 4

Which error type is thrown when a predicate requires an instantiated argument but receives a variable?

Accepted Answer

instantiation_error

Answer

unbound_error

Answer

variable_error

Answer

binding_error

Question 5

What happens if no `catch` clause matches a thrown exception in Picat?

Accepted Answer

The exception propagates up the call stack

Answer

The program silently continues

Answer

A default handler runs

Answer

The program halts immediately with exit code 1

Question 6

How can you write a catch clause that matches any exception regardless of type in Picat?

Accepted Answer

catch(Goal, _, Handler)

Answer

catch_all(Goal, Handler)

Answer

catch(Goal, *, Handler)

Answer

try(Goal, Handler)