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

Send feedback on this subject.