[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Lindsey Spratt
Subject: Re: GNU Prolog 1.2.16 hangs on 'A=A+1'.
Date: Sat, 27 Dec 2003 10:14:55 -0600

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]