[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ord_disjoint(+Set1, +Set2)

Checks whether two sets are disjoint
Set1
A set
Set2
A set

Description

Succeeds when the two ordered sets have no element in common.

Modes and Determinism

See Also

ord_intersect / 2