Next: cpg-ref-SP_unregister_atom, Previous: cpg-ref-SP_unget_code, Up: cpg-bif [Contents][Index]
SP_unify()
#include <sicstus/sicstus.h> int SP_unify(SP_term_ref x, SP_term_ref y)
Unifies two terms.
The one term to unify
The other term to unify
1 if they unify, and 0 otherwise.
Bear in mind that the unification may unblock some goals.
such goals are not run in the scope of SP_unify()
;
they remain pending until the next Prolog goal is run.