300.05/300.04 300.05/300.04 SWI-Prolog [thread 1 (main) at Thu Mar 21 05:34:58 2019]: received fatal signal 11 (segv) 300.05/300.05 EOF