Term Comparison

intPL_compareterm_t t1, term_t t2 Compares two terms using the standard order of terms and returns -1, 0 or 1. See also compare3. intPL_same_compoundterm_t t1, term_t t2 Yields TRUE if t1 and t2 refer to physically the same compound term and FALSE otherwise.