When the console closes due to halt
being invoked, it is not a "crash".
If you run the program swipl -s proof_tester.pl
from a command line rather than the console, then if the code executes halt
, your output will still be in the "terminal" window.
You may prefer to redirect messages from SWI-Prolog to a text file (Windows, Linux), which you can then read at your leisure, using a text editor or other means.