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