bagof and fd_variables

Francois Fages <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Organization INRIA
Message-ID <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.