Next: cpg-top-typ, Previous: cpg-top-sig, Up: cpg-top [Contents][Index]
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