我有一個崇高的文本2使用以下Main.sublime-menu
文件內容的MacOS X上運行的部分成功:
[
{
"id": "tools",
"children":
[{
"caption": "SublimeREPL",
"mnemonic": "r",
"id": "SublimeREPL",
"children":
[
{"command": "repl_open",
"caption": "Prolog",
"id": "repl_prolog",
"mnemonic": "l",
"args": {
"type": "subprocess",
"encoding": "utf8",
"cmd": ["gprolog"],
"cwd": "$file_path",
"external_id": "prolog",
"syntax": "Packages/Logtalk/Logtalk.tmLanguage"
}
}
]
}]
}
]
我得到的GNU Prolog的啓動旗幟,我可以輸入查詢,得到查詢結果。但是,我還沒有解決處理新行的問題:在輸入;
要求Prolog解釋器提供下一個證明時,我無法得到最後一個。例如:
GNU Prolog 1.4.4 (64 bits)
Compiled Apr 23 2013, 17:24:33 with /opt/local/bin/gcc-apple-4.2
By Daniel Diaz
Copyright (C) 1999-2013 Daniel Diaz
| ?- member(X, [1,2,3]).
X = 1 ? ;
;
X = 2 ?
yes
| ?-
似乎是一個處理回聲和新行的問題。第一個;
是回聲,但是我沒有機會在獲得第二個解決方案後輸入第二個;
。
使用SWI-Prolog作爲解釋器時,我也沒有得到提示,但通過所有解決方案時'''沒有問題。 –
我試着用你的設置,但沒有改變(我使用Linux Mint)。 –
您使用的是哪種GNU Prolog和SWI-Prolog版本?我在測試中使用了GNU Prolog 1.4.4和SWI-Prolog 6.5.2。 –