 
 
 
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/1predicate.
- 
⊙
-  Additional information on search algorithms, heuristics and their 
use in ECLiPSe can be found in chapter 12.
 
 
