@>/2, @>=/2, @</2 and @=</2

next

previous

contents

Next: Powerful Features ---Finding Up: Powerful Features ---Comparisons Previous: ==/2

@>/2, @>=/2, @</2 and @=</2

These are the predicates that can be used to decide on the ordering of terms.

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