[ library(ordset) | Reference Manual | Alphabetic Index ]

ord_union(+Sets, -Union)

Computes the union of all sets in Sets

Sets: A list of sets
Union: A set or variable

Description

Succeeds when Union is the union of all sets in the list Sets.

Modes and Determinism

ord_union(+, -) is det

See Also

ord_union / 3, ord_intersection / 2