bug-prolog
[Top][All Lists]
Advanced

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

Re: Bus error


From: Bartholomew Parkis
Subject: Re: Bus error
Date: Wed, 3 Dec 2008 15:12:20 -0500

Still, the interpreter shouldn't crash.

On Dec 3, 2008, at 2:56 PM, Lindsey Spratt wrote:

I think you are getting a stack overflow (there is no proof in prolog for foo(X) :- \+ foo(X)).

Lindsey

On Dec 1, 2008, at 1:36 AM, Bartholomew Parkis wrote:

gprolog produces a bus error on my machine when doing the following:

bmacbook:~/prolog bparkis$ cat test2.pl
foo(X) :- \+ foo(X).
bmacbook:~/prolog bparkis$ gprolog
GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?- ['test2.pl'].
compiling /Users/bparkis/prolog/test2.pl for byte code...
/Users/bparkis/prolog/test2.pl compiled, 1 lines read - 357 bytes written, 13 ms

(1 ms) yes
| ?- foo(bar).
Bus error
bmacbook:~/prolog bparkis$


My machine/version information:

bmacbook:~/prolog bparkis$ uname -a
Darwin bmacbook 8.11.1 Darwin Kernel Version 8.11.1: Wed Oct 10 18:23:28 PDT 2007; root:xnu-792.25.20~1/RELEASE_I386 i386 i386
bmacbook:~/prolog bparkis$ gprolog --version
Prolog top-Level (GNU Prolog) 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
GNU Prolog comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of GNU Prolog
under the terms of the GNU General Public License.
For more information about these matters, see the files named COPYING.



_______________________________________________
Bug-prolog mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/bug-prolog






reply via email to

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