[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_disjoint(+Set1, +Set2)
Checks whether two sets are disjoint
- Set1
- A set
- Set2
- A set
Description
Succeeds when the two ordered sets have no element in common.
Modes and Determinism
- ord_disjoint(+, +) is semidet
See Also
ord_intersect / 2