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

[Thierry Martinez]

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,
-- 
Thierry.

smime.p7s
Description: S/MIME cryptographic signature