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