[ 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