4.15.7 Summary of Predicates

abort

abort execution of the program; return to current break level

break

start a new break-level to interpret commands from the user

catch(:P,?E,:H) ISO

specify a handler H for any exception E arising in the execution of the goal P

user:error_exception(+Exception) hook

Exception is an exception that traps to the debugger if it is switched on.

goal_source_info(+AGoal, -Goal, -SourceInfo)

Decomposes the annotated goal AGoal into a Goal proper and the SourceInfo descriptor term, indicating the source position of the goal.

halt ISO

halt(C) ISO

exit from Prolog with exit code C

on_exception(?E,:P,:H)

specify a handler H for any exception E arising in the execution of the goal P

raise_exception(+E)

raise exception E

throw(+E) ISO

raise exception E