[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_intersect(+Set1, +Set2)
Checks whether two sets have a non-empty intersection
- Set1
- A set
- Set2
- A set
Description
Succeeds when the two ordered sets have at least one element
in common. Note that the test is == rather than = .
Modes and Determinism
- ord_intersect(+, +) is semidet
See Also
ord_disjoint / 2