[ 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