[ library(ic) | Reference Manual | Alphabetic Index ]
# element(?Index, +Values, ?Element)

Element is the Index'th element of the collection Values.
*Index*
- A variable or an integer.
*Values*
- A non-empty collection of numbers or variables.
*Element*
- A variable or a number.

## Description

Values is a collection (see eval_to_array/2) of numbers or numeric
variables, and the constraint states that its Index'th element is
equal to Element.
The most common use for this constraint is to state a relation
between two variables, where one is a linear index and the other
an arbitrary value defined by an entry in a table of constants.

More generally, the table can itself contain problem variables.

If Values contains only instantiated integers, then the implementation
maintains domain-consistency between Index and Element.

If Values contains reals or domain variables, the implementation
maintains bounds-consistency for Element and the variables in Values,
and domain-consistency for Index.

### Fail Conditions

Fails if Element is not the Index'th element of Values.
### Resatisfiable

No.
## Examples

?- element(I, [1,3,6,3], V).
I = I{1 .. 4}
V = V{[1, 3, 6]}
There is 1 delayed goal.
yes.
?- element(I, [](1,3,6,3), V), V #\= 3.
I = I{[1, 3]}
V = V{[1, 6]}
There is 1 delayed goal.
yes.
?- A#::2..4, B#::8..9, C#::4..5, element(I, [A,B,C], X), X#=<7.
A = A{2 .. 4}
B = B{[8, 9]}
C = C{[4, 5]}
I = I{[1, 3]}
X = X{2 .. 5}
There is 1 delayed goal.
Yes (0.00s cpu)

## See Also

:: / 2, eval_to_array / 2