[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_compare(-Rel, +Set1, +Set2)
Rel is the ordering relationship between Set1 and Set2
- Rel
- A variable or an atom
- Set1
- A set
- Set2
- A set
Description
Rel is the ordering relationship between Set1 and Set2.
Rel is one of the atoms =, > or <
= The sets are identical (in the sense of ==/2)
> Set1 is a proper superset of Set2
< Set1 is a proper subset of Set2
Otherwise the predicate fails.
Modes and Determinism
- ord_compare(-, +, +) is semidet
Fail Conditions
Fails if the sets are not comparable
See Also
@< / 2, ord_seteq / 2, ord_proper_subset / 2, ord_proper_superset / 2