Re: Bug in GNU Prolog 1.2.16

[Lindsey Spratt]

Only kind of a bug.

"X = X + 1" causes infinitely recursing unification. GProlog has a 
pessimal approach to reporting infinite recursing -- it crashes.

You probably meant: "X is X + 1."
This would still not work, but it would gracefully fail (or raise an 
exception if "X" is unbound). You can't use destructive assignment in 
Prolog (hooray!).

You need something like: "X is Y + 1."

HTH
Lindsey Spratt
http://homepage.mac.com/lspratt

On Feb 20, 2006, at 2:42 PM, Henry Falconer wrote:

> Hi,
> sorry I didn't have time to check this in the latest unstable, but it's
> definitely reproducible in the latest stable version (1.2.16) on 
> Windows.
> Anyway, the bug is as follows: start up GNU Prolog, no extra files to
> load or anything, just enter "X = X + 1." and press return. The program
> just exits with no error messages.
>
> Thanks,
> Henry Falconer
>
>
> _______________________________________________
> Bug-prolog mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/bug-prolog