
labeling(+Term)

   Instantiate all domain variables in a list to domain values

Arguments
   Term                A list of domain variables or atomic terms

Type
   library(sd)

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
