Regression: Failure and segfault with unification, predicate calls and arrow

Thierry Martinez <[email protected]> Sat, 14 Jul 2012 10:56:25 +0200

Newsgroups	gmane.comp.gnu.prolog.bugs
Organization	INRIA Paris-Rocquencourt
Message-ID	<[email protected]>

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

smime.p7s (application/x-pkcs7-signature, 4.1 KB) - not displayed