Utility Constraints Predicates

These constraints are defined in the module fd_util and they consist of useful predicates that are often needed in constraint programs. Their source code is available in the file fd_util.pl.

#(?Min, ?CstList, ?Max)

The cardinality operator. CstList is a list of constraint expressions and this operator states that at least Min and at most Max out of them are valid.

dvar_domain_list(?Var, ?List)

List is the list of elements in the domain of the domain variable or ground term DVar. The predicate ::/2 can also be used to query the domain of a domain variable, however it yields a list of intervals.

outof(?Var, +List)

The domain variable Var is different from all elements of the list List.

labeling(+List)

The elements of the List are instantiated using the indomain/1 predicate.