12.2.3 Exceptions

SP_exception_term()
fetches the Prolog term representing the most recently raised exception
SP_fail()
propagates failure to Prolog
SP_on_fault() [macro]
provide a scope for faults
SP_raise_exception()
propagates an exception to Prolog
SP_raise_fault()
raise a fault

Send feedback on this subject.