#include <sicstus/sicstus.h> int SP_unify(SP_term_ref x, SP_term_ref y)
Unifies two terms.
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.