[ Control | Reference Manual | Alphabetic Index ]

block(?Goal, ?Catcher, ?Recovery)

Equivalent to call(Goal) if Goal succeeds or fails. If Goal throws an exception that unifies with Catcher, Recovery is executed
Goal
A callable term.
Catcher
Any term.
Recovery
A callable term.

Description

This is a deprecated alias for catch/3 - see there.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Fail Conditions

Fail if Goal fails, or if Goal exits and Recovery fails

Resatisfiable

Resatisfiable if Goal is resatisfiable, or Goal exits and Recovery is resatisfiable

See Also

catch / 3, throw / 1, exit_block / 1