2013-08-31 17 views
0

我想在SublimeREPL中使用Prolog。 我在SublimeREPL的配置文件中設置了正確的解釋器(swipl或gprolog),除了一件事情之外,一切正常:the start character "?-"的行從不出現,如果得到類似"X=1"的結果,那麼當我按下Enter時會發生什麼該終端打印一個點"X=1."並創建一個新行"?-".在SublimeREPL中沒有點,新行不以任何開頭。 是否有解決方案具有相同的終端行爲?SublimeREPL中錯誤的開始Prolog

回答

0

我有一個崇高的文本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 
| ?- 

似乎是一個處理回聲和新行的問題。第一個;是回聲,但是我沒有機會在獲得第二個解決方案後輸入第二個;

+0

使用SWI-Prolog作爲解釋器時,我也沒有得到提示,但通過所有解決方案時'''沒有問題。 –

+0

我試着用你的設置,但沒有改變(我使用Linux Mint)。 –

+0

您使用的是哪種GNU Prolog和SWI-Prolog版本?我在測試中使用了GNU Prolog 1.4.4和SWI-Prolog 6.5.2。 –