[ 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