[ library(cardinal) | Third Party Libraries | 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