(gdb) run Starting program: /opt/local/bin/gprolog Reading symbols for shared libraries . done GNU Prolog 1.3.0 By Daniel Diaz Copyright (C) 1999-2007 Daniel Diaz | ?- [user]. compiling user for byte code... bahnhof(coburg). bahnhof(erlangen). bahnhof(muenchen). bahnhof(wuerzburg). bahnhof(lichtenfels). bahnhof(sonneberg). bahnhof(bamberg). bahnhof(nuernberg). verbindung(A,A). verbindung(A, Z) :- zug(A,T), verbindung(T,Z). zug(coburg,lichtenfels). zug(lichtenfels,coburg). zug(lichtenfels,bamberg). zug(bamberg,lichtenfels).
user compiled, 15 lines read - 1556 bytes written, 7126 ms (6 ms) yes | ?- verbindung(coburg,bamberg). Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_PROTECTION_FAILURE at address: 0x0320b018 0x000afed0 in Create_Choice_Point () (gdb) backtrace #0 0x000afed0 in Create_Choice_Point () #1 0x0008e17c in Scan_Dynamic_Pred () #2 0x000926b0 in BC_Emulate_Cont_0 () #3 0x000817b8 in X2462635F656D756C6174655F636F6E74_0 () #4 0x000ada64 in Call_Next () #5 0x000adb80 in Call_Prolog () #6 0x00003524 in Main_Wrapper () #7 0x0000356c in main () _______________________________________________ Bug-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-prolog
