Thierry,
Thank you for the bug report. There is a problem in the FD solver (file
EngineFD/fd_inst.c). Solved in this snapshot:
http://gprolog.univ-paris1.fr/unstable/gprolog-20130225.tgz
Daniel
Le 23/02/2013 22:04, Thierry Martinez a écrit :
Hi!
The following program leads to a segmentation violation both under
Windows and Linux with GNU Prolog 1.4.2 (“here” is printed, the
segmentation violation occurs on the last line). This program
terminates correctly with GNU Prolog 1.4.1.
:- initialization(a).
a :-
L = [A, B, C],
fd_domain(L, 0, 1),
B = A,
C #==> A,
\+ (
#\ A #\/ #\ A,
C = 1
),
fd_domain(D, 0, 1),
print(here),
nl,
D = 1.
Thanks you.
--
Thierry.
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
--
Ce message a ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.
_______________________________________________
Bug-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-prolog
