#include <sicstus/sicstus.h> void SP_fail(SP_term_ref term);
Fails in the scope of Prolog calling C.
The SP_term_ref whose value will be the exception term.
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.
Exception Handling in C.