[ library(ic_symbolic) | The ECLiPSe Libraries | 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