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

Question

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

Answer 1

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

（警告：我不是 Windows 的频繁用户。也就是说，我只有 rdesktop 用于此类活动。）

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

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

这种稍微奇怪的行为绝不是标准化的。

Answer 2

我无法测试它，但我认为 ^Z (Ctrl+Z) 应该与 Unix 上的 ^D (Ctrl+D) 发挥相同的作用。