Re: Bus error

[Bartholomew Parkis]

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