bug-prolog
[Top][All Lists]
Advanced

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

bagof and fd_variables


From: Francois Fages
Subject: bagof and fd_variables
Date: Wed, 28 Aug 2002 16:00:23 +0200

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




reply via email to

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