|
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:
This is an infinitely recursing unification. It's supposed to be an error (gprolog might fail more gracefully, but it's hard to do).$ gprolog GNU Prolog 1.2.16 By Daniel Diaz Copyright (C) 1999-2002 Daniel Diaz | ?- A = A + 1. Segmentation fault $
Lindsey Spratt
[Prev in Thread] | Current Thread | [Next in Thread] |