[Top][All Lists]
[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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bagof and fd_variables,
Francois Fages <=