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

See Also

ord_disjoint_union / 3, ord_union / 4, ord_union / 2