Thank you for the bug report. I could reproduce it.
I'm not at my office for the moment but i fix it asap. Daniel Le 14 juil. 2012 à 10:56, Thierry Martinez a écrit : > Hi, > > The following code fails (when consulted on top-level) and segfaults > (when compiled) with the last stable version of GNU Prolog (1.4.1) and > previous unstable versions, on Linux and Mac. It fails to compile on > Windows (with the mere message: compilation failed). It used to work > with 1.4.0. > > p :- > A = B, > q, > A = 1, > ( > r(B) > -> > true > ). > > q. > > r(1). > > :- initialization(p). > > -- > 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
