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