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

# ord_disjoint_union(+Set1, +Set2, -Union)

Computes the union of Set1 and Set2 when they are disjoint

Set1
  A set
Set2
  A set
Union
  A set or variable

## Description

Succeeds when Union is the union of disjoint sets Set1 and Set2. Fails if Set1 and Set2 are not disjoint, i.e. if they have a non-empty intersection.

### Modes and Determinism

- ord_disjoint_union(+, +, -) is semidet

### Fail Conditions

Fails if the sets are not disjoint

## See Also

ord_union / 4, ord_union / 2