[ library(ic_global_gac) | Reference Manual | Alphabetic Index ]

matching(+L, -K)

Get a matching between a list of domain variables and their possible values
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

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