Simple predicate for instantiating a collection of integer IC variables to elements of their domains. (Integers are also allowed in the collection; they are effectively ignored.) The variables are instantiated in the order in which they appear in the collection; the implementation is essentially:
labeling(Vars) :- collection_to_list(Vars, List), ( foreach(Var,List) do indomain(Var) ).