I ran this query, estimatimating runtime about 24 hours.
?- L is 3600*24, call_with_time_limit(L, time(galois(8, C))).
However this long time query seems to quit silently after about 90 minutes from start
without any message. I tried the query both in Emacs and terminal to get the same.
I want to get some information of reason of the silent quit.
How to prepare before runnig the query to get the quit information ?
( I set ulimit to unlimit in .zshrc. )