Re: fd_element/fd_element_var do not support lists with more than 63 elements

[Daniel Diaz]

Hi,

sorry for this regression bug. It will be fixed in the next release and in this snapshot.

http://gprolog.univ-paris1.fr/unstable/gprolog-20120220.tgz

Daniel


Le 20/02/2012 17:45, Thierry Martinez a écrit :

Hello,

Since gprolog 1.4.0 to the last unstable version, the constraints
fd_element/fd_element_var do not support lists with more than 63
elements.  The bug can be seen in the following example.

| ?- findall(X, for(X, 1, 70), L), fd_element(I, L, X), fd_size(I, S1), I #>= 62, fd_size(I, S2), I #\= 62.

I = 70
L = [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70]
S1 = 63
S2 = 2
X = 70

yes

(whereas any values for I between 63 and 70 should have been solutions.)

The same value S1 = 63 is obtained regardless of the length of L, as
soon as it is greater than 63.

This bug does not occur in gprolog 1.3.1.

Best regards,

_______________________________________________
Bug-prolog mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/bug-prolog

--
Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.