[ library(ic_symbolic) | Reference Manual | Alphabetic Index ]
element(?Index, ++List, ?Value)
Value is the Index'th element of List
- integer variable or integer
- list of domain values
- domain variable or value
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.
This predicate is sensitive to its module context (tool predicate, see @/2).
ic : element / 3