
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

Arguments
   Goal                A callable term.
   Catcher             Any term.
   Recovery            A callable term.

Type
   Obsolete

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
