[ 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