tuprolog

0熱度

2回答

我使用tuProlog（http://tuprolog.alice.unibo.it/）從java內部運行一些prolog子句。我在定義語句語法中遇到了一些問題，我認爲Stackoverflow可能是正確的地方。使用從http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse29的定條款語法例如，我們有 s

1熱度

3回答

在Android中運行序言

我在Android中測試tuProlog。我有一個活動TuProlog類parser與prolog代碼和包含prolog代碼的data.pl進行交互。作爲一個java項目，輸出到控制檯，我可以很好地運行它，但是我作爲一個Android項目遇到了麻煩。對於Android，即使我的文件data.pl複製到項目的根目錄，src內部和我的包中，但我仍然得到FileNotFoundException。我只想

1熱度

1回答

如何從swiprolog轉移到tuprolog

我通過一個名爲JTransformer的eclipse插件得到了一個.pl文件。問題是我得到的.pl文件基於swiprolog，現在我需要在java中根據prolog進行查詢文件很容易實現使用tuprolog。但是我不能使用tuprolog來查閱.pl，因爲它是用swiprolog寫的，並且有一些標記只能用swiprolog來支持。我能做些什麼來將其從swiprolog更改爲tuprolog。 .

2熱度

2回答

Prolog/tuprolog，單行返回'enitire [sic]字符串不能被讀作一個字'

tl：dr - 我有一行序言，在一個版本的Prolog（SWI）但不在另一個（TuProlog）。我從SWI序言中移植了一個腳本，以Tuprolog。（TuProlog最近做了一個大的更新，我在兩個版本中都得到了相同的行爲）當我使用下面的java安裝程序將腳本放入TuProlog中時，出現錯誤「Enitire字符串不能被讀作一項」。所以我砍倒（有效使用二進制搜索），直到我減少了腳本的腳本：

1熱度

1回答

Tuprolog和定義綴運營商

讓我有些序言... cobrakai$more operator.pl be(a,c). :-op(35,xfx,be). +=(a,c). :-op(35,xfx,+=). cobrakai$ 其中定義了一些綴運營商。我運行使用SWI序言和得到以下（完美預期）導致 ?- halt. cobrakai$swipl -s operator.pl % library(swi_h

1熱度

1回答

tuProlog - 使用多個文件請教 - 不能讓發動機的加載與諮詢（otherFile.pl）

編輯其他文件：清晰 - 主要特等文件加載，那就是它已經被告知要加載所有子文件的哪些不要加載。（所有的諮詢（ 'subfile.pl'）。）我有一個使用tuProlog的Java項目。它稱爲理論爲： Theory theory = new Theory(":-consult('main.pl')."); engine.setTheory(theory); 這是根據手冊。 file

0熱度

1回答

tuprolog語法錯誤。在/行-1之前的語法錯誤

我是序言新手。我有一個通常在swi-prolog上諮詢的.pl文件，但是當我在tu-prolog上諮詢它時，總會發生瘋狂的事情。這裏是我的代碼的一部分。 :- dynamic(assignopT/6). :- multifile(assignopT/6). assignopT(30246,30244,30210,30247,+,30248). 當我諮詢它TU-序言，它表示語

2熱度

1回答

我想用TuProlog在我的Android項目

我如何使用tuProlog像阿比我已經鴨舌試圖使它的Android的項目，但我不能我有這樣的錯誤： Could not find class 'alice.tuprolog.Theory', referenced from method....

2熱度

3回答

tuProlog未知行爲

我使用tuProlog到Prolog的與Java集成，但這樣做我心中已經被定義的。特等文件至極包含此代碼： go:-write('hello world!'),nl. 在我的Java文件的NetBeans在我有調用這個主類： Prolog engine = new Prolog(); Theory theory = new Theory(new FileInputStream("facul

1熱度

1回答

如何在Prolog中編寫鍵值對？

想象一下，我有以下謂詞，其中指出ID loc1指定一個位置。 isLocation('loc1', 'Location 1'). 我想提供第二個文本（Location 1）的翻譯，即i。即鍵值對，如en='Location 1', de='Ort 1', ru='Местоположение 1'。在Prolog中編碼這些數據的正確方法是什麼，特別是TuProlog（以及理想的標準化Prol