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