[ library(fd) | Reference Manual | Alphabetic Index ]
labeling(+Vars)
Instantiate all variables in a list to values in their domain
- Vars
- List of variables or ground terms.
Description
    This predicate instantiates all variables in a list to values in their
    domain, using the indomain/1 predicate. It is simply defined as:
        labeling([]).
        labeling([Var|Rest]) :-
            indomain(Var),
            labeling(Rest).
    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.
    
Resatisfiable
Yes
See Also
indomain / 1, fd_search : search / 6