
matching(+L, -K)

   Get a matching between a list of domain variables and their possible values

Arguments
   L                   A list of integers or domain variables, or a collection a la collection_to_list/2
   K                   A free variable, will be bound to a list of integers

Type
   library(ic_global_gac)

Description
This predicate can be used to get the matching into the user program. Sometimes it is a good starting point for heuristics. It only gets the current matching and does not do any propagation, the matching is not updated when values are removed, the predicate must be called again in the user program if this is required

Fail Conditions
   The predicate fails if no matching exists

See Also
   alldifferent / 1
