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

On 15/04/18 20:57, Panagiotis Stamatopoulos wrote:
> 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?


Apologies, this is a functionality enhancement that I let slip in between 
version 7.0#41 and 7.0#42 (normally we don't change functionality without 
changing the x.y version number).

Previously, the second argument of ic:element/3 had to be fully instantiated. 
If you need the new functionality, please update to 7.0#42.


Regards,
Joachim