
ord_disjoint_union(+Set1, +Set2, -Union)

   Computes the union of Set1 and Set2 when they are disjoint

Arguments
   Set1                A set
   Set2                A set
   Union               A set or variable

Type
   library(ordset)

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
