[ library(sd) | Reference Manual | Alphabetic Index ]
labeling(+Term)
Instantiate all domain variables in a list to domain values
- Term
- A list of domain variables or atomic terms
Description
Instantiate all domain variables in a list to their domain values.
Alternative instantiations are tried on backtracking. This predicate
simply calls indomain/1 on all variable in the given list.
See Also
&:: / 2, indomain / 1