Re: bagof and fd_variables

[Daniel Diaz]

Hi Francois,

thanks for this bug report, it will be fixed in 1.2.15. In fact even in
1.2.8 there was a spurious bug behind the fix...


Francois Fages wrote:
> 
> Hello,
> 
> bagof has a bug with FD variables.
> This bug was in 1.2.1, not in 1.2.8, and is back in 1.2.13.
> 
> GNU Prolog 1.2.13
> By Daniel Diaz
> Copyright (C) 1999-2002 Daniel Diaz
> | ?- L=[A,B],bagof(t(X),member(X,L),R).
> 
> L = [A,B]
> R = [t(A),t(B)]
> 
> yes
> | ?- L=[A,B],fd_domain(L,1,5),bagof(t(X),member(X,L),R).
> 
> A = _#3(1..5)
> B = _#25(1..5)
> L = [_#3(1..5),_#25(1..5)]
> R = [t(_#787576(1..5))] ? ;
> 
> A = _#3(1..5)
> B = _#25(1..5)
> L = [_#3(1..5),_#25(1..5)]
> R = [t(_#787623(1..5))]
> 
> yes
> 
> Thanks for fixing it
> 
> François
> 
> _______________________________________________
> Bug-prolog mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/bug-prolog
> 
> --
> Ce message a subi une analyse antivirus
> par MailScanner ; il est vraisemblablement
> sans danger.

--
Ce message a subi une analyse antivirus 
par MailScanner ; il est vraisemblablement
sans danger.