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

element(?Index, ++List, ?Value)

Value is the Index'th element of List
Index
integer variable or integer
List
list of domain values
Value
domain variable or value

Description

Constrains its arguments such that Value is the Index'th member of List. This is implemented by mapping onto ic:element/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 : element / 3