5.5  Search Support

The insetdomain/4 predicate can be used to enumerate all ground instantiations of a set variable, much like indomain/1 in the finite-domain case.

insetdomain(?Set, ?CardSel, ?ElemSel, ?Order)

Instantiate Set to a possible value