Prolog - 关闭 SWI-prolog 时的无限循环

Question

我已经在 Prolog 中编写了以下代码：

go :- write(">>"), read(X), process(X).

并用 process/1 做各种事情。 要捕获我添加的任何未知命令：

process(Y) :- write("unknown command.\n"), go.

问题是在程序正常结束之前通过关闭窗口退出 SWI-Prolog 时，它会进入无限循环。 我试图在这样退出时搜索 SWI-Prolog 调用的内容，但找不到它以便将其包含在代码中。 对此部分的任何帮助或替代解决方法将不胜感激。 提前致谢！

Answer 1

你也需要处理end_of_file这个词。

在最后一个 Prolog 术语之后，即只有布局或 cmets 被读取到文件或流的末尾时，read/1 产生术语 end_of_file。

由于（在许多当前系统中）读取文件末尾（在标准输入上）时要执行的操作是reset，因此后续读取也会产生此术语。因此，您的程序在抱怨它不知道命令end_of_file 时循环。