在Windows命令行中使用Prolog切换模式

Question

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

Answer 1

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

（警告：我不是风，OWS一个经常使用也就是说，我只对此类活动的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）相同的角色。