PrologTerm.cmp
missing functions in PrologTerm (also, iterators)