[ library(fd) | Reference Manual | Alphabetic Index ]
Instantiate all variables in a list to values in their domain
- List of variables or ground terms.
This predicate instantiates all variables in a list to values in their
domain, using the indomain/1 predicate. It is simply defined as:
The list can contain ground terms, i.e. variables that are already
instantated. These are just skipped, in other words, they are
considered as variables with a single value in their domain.
indomain / 1, fd_search : search / 6