[ library(ordset) | The ECLiPSe Libraries | 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

See Also

ord_intersect / 2, ord_intersection / 5