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

lub(?SetVariable, -Lub)

Obtaining a set's lub
SetVariable
A set variable.
Lub
A set.

Description

Lub is unified with the (least) upper bound of SetVariable.

Fail Conditions

Fails if Lub can not be unified with the current lub of SetVariable.

Resatisfiable

No.

Examples

?- S `::[c]+[a,b], lub(S,L).
L = [a,b,c]

See Also

lub / 4, glb / 2, poss / 2, glb_poss / 3, domain / 2, domain / 3