next up previous contents
Next: ==/2 Up: Powerful Features Previous: =../2

Powerful Features ---Comparisons of Terms

There is a standard order defined on Prolog terms --- i.e. one Prolog term can be compared with another and we can reach a decision about which comes before which. The predicates that achieve this are not part of the first order predicate logic. We only list them briefly here.





Paul Brna
Mon May 24 20:14:48 BST 1999