[ 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.

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)
```