[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_intersect(+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.
The use of ord_intersection/3 is preferred.
Modes and Determinism
- ord_intersect(+, +, -) is det
See Also
ord_intersection / 3