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

Send feedback on this subject.