[ library(cardinal) | Reference Manual | Alphabetic Index ]
glb(?SetVariable, -Glb)
Obtaining a set's glb
- SetVariable
- A set variable.
- Glb
- A set.
Description
Glb is unified with the (greatest) lower bound of SetVariable.
Fail Conditions
Fails if Glb can not be unified with the current glb of SetVariable.
Resatisfiable
No.
Examples
?- S `::[c]+[a,b], glb(S,G).
G = [c]
See Also
glb_poss / 3, domain / 2, domain / 3, lub / 2, lub / 4, poss / 2