windows - 在 Windows 命令行上的 Prolog 中切换模式

Question

Sicstus Prolog 手册对用户说“| ?- consult(user)”。输入子句并“返回顶层，键入 ^D”。但是，我使用的是 Windows，手册中没有 Windows 说明。如何在 Windows 中返回查询模式？

Answer 1

在许多 Prolog 系统中，例如 SICStus 4，您可以输入事实 end_of_file. 来完成咨询。这个事实将不再被讨论，它只是用来表示结束。

(警告:我不是 Wind-ows 的频繁用户。也就是说，我只有 rdesktop 用于此类事件。)

如果您需要在程序中定义事实 end_of_file.，请改为编写 end_of_file :- true.。

如果您输入 end_of_file. 作为顶层查询，许多 Prolog 系统将停止。您可以通过输入 true,end_of_file. 来避免这种情况。

这种有点奇怪的行为绝不是标准化的。