[eclipse-clp-users] element/3 constraint in the ic library

Hello everybody,

The second argument of the element/3 constraint of the ic library
(version 7.0) is supposed to be "a non-empty collection of numbers
or variables", according to the documentation. However, the following
example included in the description of element/3 does not work as
expected:

[eclipse 2]: A#::2..4, B#::8..9, C#::4..5, element(I, [A,B,C], X), X#=<7.
instantiation fault in element(I, [A{2 .. 4}, B{[8, 9]}, C{[4, 5]}], X)
Abort

Any idea what went wrong?

Regards,
Panagiotis Stamatopoulos