Previous Up Next

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

Previous Up Next