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