Created
December 13, 2013 16:52
-
-
Save mndrix/7947317 to your computer and use it in GitHub Desktop.
SWI Prolog V7.1.3 segfault
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
% The graphical front-end will be used for subsequent tracing | |
% .plrc compiled 0.28 sec, 4,557 clauses | |
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.1.3) | |
Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam | |
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, | |
and you are welcome to redistribute it under certain conditions. | |
Please visit http://www.swi-prolog.org for details. | |
For help, use ?- help(Topic). or ?- apropos(Word). | |
1 ?- assert(person{name:john}). | |
SWI-Prolog [thread 1]: received fatal signal 11 (segv) | |
Stack trace labeled "crash": | |
[0] 0 libswipl.dylib 0x0000000105f6f0e9 save_backtrace + 185 | |
[1] 1 libswipl.dylib 0x0000000105f6f40d crashHandler + 61 | |
[2] 2 libswipl.dylib 0x0000000105f20991 dispatch_signal + 705 | |
[3] 3 libsystem_platform.dylib 0x00007fff8f9115aa _sigtramp + 26 | |
[4] 4 ??? 0x0000000000000002 0x0 + 2 | |
[5] 5 libswipl.dylib 0x0000000105f2799c predicateName + 188 | |
[6] 6 libswipl.dylib 0x0000000105f05666 setDynamicProcedure + 150 | |
[7] 7 libswipl.dylib 0x0000000105ede001 assert_term + 737 | |
[8] 8 libswipl.dylib 0x0000000105ee1486 pl_assertz11_va + 22 | |
[9] 9 libswipl.dylib 0x0000000105ebc012 PL_next_solution + 31074 | |
[10] 10 libswipl.dylib 0x0000000105f02908 query_loop + 312 | |
[11] 11 libswipl.dylib 0x0000000105f02f51 prologToplevel + 81 | |
[12] 12 libswipl.dylib 0x0000000105ecc548 PL_toplevel + 56 | |
[13] 13 swipl 0x0000000105ea8f05 main + 53 | |
[14] 14 libdyld.dylib 0x00007fff868bb5fd start + 1 | |
[15] 15 ??? 0x0000000000000001 0x0 + 1 | |
Abort trap: 6 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment