logtalk

0熱度

1回答

我使用Logtalk有很多樂趣，但遇到了使用phrase_from_file的問題。具體來說，我的情況看起來像這樣： :- object(scan_parser). :- public(scanlist//1). scanlist([Scan|Scans]) --> scan(Scan), dcg_basics:blanks, scanlist(Scans). sc

1熱度

1回答

Logtalk：在Windows上加載帶camelcase命名的文件

使用logtalk 3.1.2，在OS X和Linux下，使用camelcase名稱加載文件，但在Windows（ERROR : file does not exist）上拋出異常沒有問題。 logtalk_load(mypath(myFileNameInCameCase)) 怎麼了？

1熱度

2回答

Prolog SWI：Logtalk，如何加載我自己的項目文件？

所以這一週，我安裝了Logtalk，這是Prolog的擴展之一。在這種情況下，我正在使用Prolog SWI，並且遇到了一些問題。我不確定如何使用Logtalk實際諮詢我自己的項目。爲了理解代碼本身，我已經看了Logtalk自帶的例子，這樣我就可以加載並完美地執行它們。我不明白的是當logtalk加載文件時實際發生的事情，以及我如何加載自己的項目。我會以「hello_world」爲例討論問題。名

0熱度

2回答

Logtalk方法調用性能優化

使用Logtalk時，看起來我的程序用Logtalk對象執行比普通Prolog更長。我做了一個標杆純的Prolog與logtalk對象的封裝相當於下面的簡單謂詞的執行比較： %% % plain prolog predicate plain_prolog_simple :- fail. %% % object encapsulation :- object(logtalk_o

2熱度

1回答

Logtalk和XPCE

是否可以使用XPCE和Logtalk開發應用程序，還是類系統以某種方式不兼容？

1熱度

1回答

以Logtalk對象方法作爲參數使用「univ」Prolog謂詞作爲參數

如何使用'Univ'（=../2）prolog謂詞和Logtalk對象方法作爲參數？考慮以下代碼： baz(foo(X)) :- write(predicate), write(X), nl. run :- Term =.. [baz, foo(testfoo)], write(Term), nl, Term,nl, TermLgt =.. [bar

1熱度

3回答

定義用戶無法查詢的規則

如何定義用戶無法查詢的規則？我只希望程序本身通過另一個規則調用此規則。例如： rule1（）： - rule2（）。規則2（）： - 1 < 5. -rule1（？）。 true ？-rule2（）。（我不知道答案是什麼，我只是想這個查詢失敗！）

1熱度

1回答

無法使用logtalk加載包含logtalk_load的庫3.0.0.1

我使用SWI Prolog作爲支持的編譯器（v 6.6.1）。安裝logtalk 3.0.0.1後，我開始越來越錯誤時 logtalk_load(library(types_loader), [source_data(on), report(on)]). % [ c:/users/dizqj373/documents/logtalk/library/termp.lgt loaded ] ! Dom

1熱度

1回答

Logtalk - logtalk_load失敗

我正在使用swi prolog，並且只安裝了logtalk。當我用一些示例項目調用logtalk_load時，它總是返回false。 % library(win_menu) compiled into win_menu 0.00 sec, 29 clauses % C:\Logtalk/configs/swi.pl compiled 0.02 sec, 1,539 clauses % C:\