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