catch( : Goal,+ Exception,+ Action) More...

Detailed Description

catch( : Goal,+ Exception,+ Action)

defined in the ISO standard

The goal catch( _Goal_, _Exception_, _Action_) tries to execute goal Goal If during its execution, Goal throws an exception E' and this exception unifies with Exception, the exception is considered to be caught and Action is executed If the exception E' does not unify with Exception, control again throws the exception

The top-level of YAP maintains a default exception handler that is responsible to capture uncaught exceptions

The documentation for this class was generated from the following file:

/home/vsc/github/yap/pl/top.yap