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