bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


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,


_______________________________________________
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é.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]