
glb(?SetVariable, -Glb)

   Obtaining a set's glb

Arguments
   SetVariable         A set variable.
   Glb                 A set.

Type
   library(cardinal)

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
