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

[Thierry Martinez]

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