我正在运行我编写的 Prolog 程序（自然演绎中的证明测试器），当我运行程序时（run_all_tests（'proof_tester.pl'）。）程序运行，在控制台中打印我的程序中的东西（我几乎没有时间看什么），然后关闭 SWI Prolog。它只是消失了，没有警告或错误消息或任何东西。这可能是什么？
问问题
678 次
1 回答
1
当控制台因halt被调用而关闭时，它不是“崩溃”。
如果您从命令行而不是控制台运行程序swipl -s proof_tester.plhalt，那么如果代码执行，您的输出仍将在“终端”窗口中。
您可能更喜欢将消息从 SWI-Prolog 重定向到文本文件（Windows、Linux），然后您可以使用文本编辑器或其他方式在闲暇时阅读该文件。
于 2013-10-22T12:45:51.417 回答