在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）相同的角色。