Re: GNU Prolog 1.2.16 hangs on 'A=A+1'.

Lindsey Spratt <[email protected]> Sat, 27 Dec 2003 10:14:55 -0600

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

On Dec 26, 2003, at 8:50 AM, Roger Ferrer Ibáñez wrote:

> $ gprolog
> GNU Prolog 1.2.16
> By Daniel Diaz
> Copyright (C) 1999-2002 Daniel Diaz
> | ?- A = A + 1.
> Segmentation fault
> $
>
This is an infinitely recursing unification. It's supposed to be an 
error (gprolog might fail more gracefully, but it's hard to do).

Lindsey Spratt