10.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.
Here is an example of the default enumeration strategy: