12.3.17 SP_fail()

Synopsis

     #include <sicstus/sicstus.h>
     
     void
     SP_fail(SP_term_ref term);

Fails in the scope of Prolog calling C.

Arguments

term

The SP_term_ref whose value will be the exception term.

Description

This function is normally used in the context of a call from Prolog to C, and will cause Prolog to backtrack on return from the call.

Please note: this should only be called right before returning to Prolog.

See Also

Exception Handling in C.