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

occurrences(+Value, +List, ?N)

Value occurs N times in List
Value
domain value
List
list of variables or domain values
N
integer variable or integer

Description

Constrains its arguments such that Value occurs exactly N times in List. This is implemented by mapping onto ic_global:occurrences/3. All list elements and Value must be variables or values of the same domain. If one or more of them are domain-less, they will be given the same domain as the others.

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

See Also

ic_global : occurrences / 3