#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
they remain pending until the next Prolog goal is run.
Unifying and Comparing Terms.