12.2.9 Terms in C

SP_compare()

compares two terms using Prolog’s standard term order

SP_new_term_ref()

returns an SP_term_ref, which can be used to hold a Prolog term in C

SP_unify()

unifies two Prolog terms