[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_union(+Set1, +Set2, -Union)
Computes the union of Set1 and Set2
- Set1
- A set
- Set2
- A set
- Union
- A set or variable
Description
Succeeds when Union is the union of Set1 and Set2. Note that when
something occurs in both sets, we want to retain only one copy.
Modes and Determinism
- ord_union(+, +, -) is det
See Also
ord_disjoint_union / 3, ord_union / 4, ord_union / 2