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