Skip to content

Instantly share code, notes, and snippets.

@mndrix
Created December 13, 2013 16:52
Show Gist options
  • Save mndrix/7947317 to your computer and use it in GitHub Desktop.
Save mndrix/7947317 to your computer and use it in GitHub Desktop.
SWI Prolog V7.1.3 segfault
% 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