Function term_compare 

pub fn term_compare(a: &Term, b: &Term, interner: &StringInterner) -> Ordering

Standard order of terms (ISO Prolog): Variables < Numbers < Atoms < Compound terms Within numbers: by value. Within atoms: alphabetical. Within compounds: by arity, then functor name, then arguments left-to-right.