如何從swiprolog轉移到tuprolog

我通過一個名爲JTransformer的eclipse插件得到了一個.pl文件。問題是我得到的.pl文件基於swiprolog，現在我需要在java中根據prolog進行查詢文件很容易實現使用tuprolog。但是我不能使用tuprolog來查閱.pl，因爲它是用swiprolog寫的，並且有一些標記只能用swiprolog來支持。我能做些什麼來將其從swiprolog更改爲tuprolog。 .pl文件位於我的谷歌驅動器https://drive.google.com/folderview?id=0B4KCEwRVmr_yWjQwOEp3LWpYdk0&usp=sharing中。如何從swiprolog轉移到tuprolog

來源

2013-06-01 York

乍一看，這個文件對於SWI很少具體。您可以嘗試刪除任何指令：那些以:-開頭的行。然後建立你theory - 我認爲這是模塊的tuProlog方式，看看你是否準備好去。

這些指令，例如:- dynamic factbase_export_time_stamp/2.，最終應該是更改爲到:- dynamic(factbase_export_time_stamp/2).，而不是被刪除，這取決於您的使用情況。這同樣適用於:- multifile。

來源

2013-06-01 10:05:57 CapelliC

謝謝。我做了你所說的，但後來在12220行發現了另一個錯誤。我認爲這是因爲+，所以我將它改爲'+'。然後它說第-1行/之前有一個錯誤。這是我不明白的地方，我不知道下一步該怎麼做。 – York

我已經上傳了一個名爲demo_new.pl的新.pl文件，這是我聽到你的話。地址是一樣的。謝謝。 – York

問題已得到解決。此鏈接是關於如何處理/之前行-1錯誤http://stackoverflow.com/questions/17885518/a-tuprolog-syntax-error-syntax-error-at-before-第一行。 – York

如何從swiprolog轉移到tuprolog

回答

相關問題