|
From: | Daniel Diaz |
Subject: | Re: fd_element/fd_element_var do not support lists with more than 63 elements |
Date: | Mon, 20 Feb 2012 19:16:11 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:9.0) Gecko/20111229 Thunderbird/9.0 |
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, -- Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé. |
[Prev in Thread] | Current Thread | [Next in Thread] |