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

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

Value is the Index'th element of the integer list List.
?Index
A variable or an integer.
++List
A non-empty list of integers.
?Value
A variable or an integer.

Description

Deprecated (should never have been included in this module: it's not a global constraint). Use ic:element/3 instead.

Fail Conditions

Fails if Value is not the Index'th element of List.

Resatisfiable

No.

See Also

ic : element / 3