Node:Unifying and Comparing Terms, Next:Operating System Services, Previous:Testing Prolog Terms, Up:Support

Unifying and Comparing Terms

int SP_unify(SP_term_ref x, SP_term_ref y)

Unifies two terms, returning zero on failure and nonzero on success.

int SP_compare(SP_term_ref x, SP_term_ref y)

Returns -1 if x @< y, 0 if x == y and 1 if x @> y