Sicstus Prolog手册告诉用户“|？ - consult（用户）”。输入子句并“返回顶级，键入^ D”。但是，我使用Windows并且手册没有Windows说明。如何在Windows中返回查询模式？
答案 0 :(得分：3)
在许多Prolog系统中，如SICStus 4，您可以输入事实end_of_file.来完成咨询。这个事实不会被咨询，只能表明结束。
（警告：我不是Wind-ows的常用用户。也就是说，我只有rdesktop用于此类活动。）
如果您需要在程序中定义事实end_of_file.，请改为编写end_of_file :- true.。
如果您在顶层输入end_of_file.作为查询，许多Prolog系统都会停止。您可以通过输入true,end_of_file.来避免这种情况。
这种稍微奇怪的行为绝不是标准化的。
答案 1 :(得分：1)
我无法测试它，但我认为^ Z（Ctrl + Z）应该与Unix上的^ D（Ctrl + D）扮演相同的角色。