[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_intersection(+Set1, +Set2, -Intersection)
Computes the intersection of two sets
- Set1
- A set
- Set2
- A set
- Intersection
- A set
Description
Succeeds when Intersection is the intersection of Set1
and Set2, provided that Set1 and Set2 are ordered sets.
Modes and Determinism
- ord_intersection(+, +, -) is det
See Also
ord_intersect / 2, ord_intersection / 5