bug-prolog
[Top][All Lists]
Advanced

[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]