Skip to main content
Version: Next

catch/3

Description

catch/3 is a predicate that catches exceptions thrown during the execution of a goal.

Signature

catch(+Goal, ?`catch/3`er, +Recover)

Where:

  • Goal is the goal to execute.
  • catch/3er is the exception pattern to catch.
  • Recover is the goal to execute when the exception is caught.