我正在运行我编写的Prolog程序（自然演绎中的校对测试程序），当我运行程序（run_all_tests（'proof_tester.pl'）。）程序运行时，打印我程序中的东西。控制台（我几乎没时间看什么），然后关闭SWI Prolog。它只是消失，没有警告或错误消息或任何东西。这可能是什么？
答案 0 :(得分：0)
当控制台因调用halt而关闭时，它不是“崩溃”。
如果您run the program swipl -s proof_tester.pl from a command line而不是控制台，那么如果代码执行halt，您的输出仍将位于“终端”窗口中。
您可能更喜欢将来自SWI-Prolog的邮件重定向到文本文件（Windows，Linux），然后您可以使用文本编辑器或其他方式随意阅读。