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

From: Panagiotis Stamatopoulos <takis_at_...90...>
Date: Sun, 15 Apr 2018 22:57:36 +0300
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
Received on Sun Apr 15 2018 - 20:14:47 CEST

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET