6.4.6 Unifying and Comparing Terms

The two functions are:

SP_unify()

Unify terms.

SP_compare()

Compare terms.