Bus error
Bartholomew Parkis <[email protected]> Mon, 1 Dec 2008 01:36:29 -0500
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
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.