12.3.102 SP_unify()

Synopsis

     #include <sicstus/sicstus.h>
     
     int
     SP_unify(SP_term_ref x,
              SP_term_ref y)

Unifies two terms.

Arguments

x

The one term to unify

y

The other term to unify

Return Value

1 if they unify, and 0 otherwise.

Description

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.

See Also

Unifying and Comparing Terms.