Searching for Feasible Solutions

## 8.7 Searching for Feasible Solutions

indomain(+DVar)
  This predicate instantiates the domain variable DVar to an element of its domain; on backtracking the subsequent value is taken. It is used, for example, to find a value of DVar which is consistent with all currently imposed constraints. If DVar is a ground term, it succeeds. Otherwise, if it is not a domain variable, an error is raised.
labeling(+List)
  The elements of the List are instantiated using the `indomain/1` predicate.

⊙
  Additional information on search algorithms, heuristics and their use in ECLiPSe can be found in chapter 12.