Next: , Previous: , Up: Support Functions   [Contents][Index]


6.4.6 Unifying and Comparing Terms

The two functions are:

SP_unify()

Unify terms.

SP_compare()

Compare terms.


Send feedback on this subject.