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.
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Bug-prolog mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-prolog
