Terms in C

QP_compare()

compares two terms using Prolog's standard term order

QP_new_term_ref()

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

QP_unify()

unifies two Prolog terms