4.15.8 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,development

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

unknown(?OldValue, ?NewValue)   development

access the unknown Prolog flag and print a message

user:unknown_predicate_handler(+Goal, +Module, -NewGoal)   hook

tell Prolog to call Module:NewGoal if Module:Goal is undefined