Other constraints

• alldifferent(+Vars)
• all_different(+Vars) The elements in Vars are mutually different, where Vars is a list of domain variables or integers.

• alldistinct(+Vars)
• all_distinct(+Vars) This is equivalent to alldifferent(Vars), but it uses a stronger consistency checking algorithm to exclude inconsistent values from domains of variables. See the next chapter for the implementation of this constraint.

• ?X notin +D Succeeds if X does not lie in D, where X is an integer or a domain variable and D is a domain expression.

• element(?I,+L,?V) Succeeds if the Ith element of L is V, where I and V are integers or domain variables and L is a list of integers.

• atmost(+N,+L,+V) Succeeds if there are at most N elements in L that are equal to V, where N and V are integers and L is a list of domain variables or integers.