catch/3

Description

catch(Goal, Catcher, Recovery)

Catches exceptions thrown by a goal. See the ISO Prolog standard definition. This built-in meta-predicate is declared as a private method and thus cannot be used as a message to an object.

Modes and number of proofs

catch(?callable, ?term, ?term) - zero_or_more

Errors

Goal is a variable:
instantiation_error
Goal is neither a variable nor a callable term:
type_error(callable, Goal)