swi-prolog

0熱度

1回答

實際上有兩個部分對我的問題。我已經寫了一個函數來通過簡單的替換從字符串中刪除ANSI代碼，但是函數按原樣返回字符串。我已經嘗試過使用pdb進行調試，但結果並不合理，因爲看起來好像Python本身存在一個小故障。然而，我懷疑這一點，所以我想弄清楚在代碼中沒有看到什麼錯誤。此外，我想知道是否有更好的方法來刪除（可能還沒有看到）的ANSI代碼，而無需每次修改該函數。這裏有我不解的PDB屏幕的鏡頭： p

1熱度

1回答

如何獲得在Prolog中定義/加載的所有子句

我正在使用SWI Prolog，並且驚訝地發現在Prolog中沒有這樣做的明顯方法。我所追求的是與第2章類似的東西，但允許沒有實際意義的第一個參數（並且特定於給定文件中的子句，即我不想要整個Prolog庫！）。這裏是我寫的所有條款 clauseX(H,B) :- current_predicate(P/Arity), functor(H,P,Arity), absol

3熱度

2回答

如何在SWI-Prolog中跟蹤內置的append/3？

我想跟蹤SWI-Prolog中的內置附加/ 3，但是立即得到結果並且無法看到中間發生了什麼。有什麼我必須做的追蹤追蹤？ ?- trace . true. [trace] ?- append([a,b,c], [[],[2,3], b], X). X = [a, b, c, [], [2, 3], b].

2熱度

2回答

如何在SWI-Prolog中使用列表構造函數（./2）

我想在SWI-Prolog中使用列表構造函數，但得到'dict'預期錯誤。例如， .(a, []) == [a]. ERROR: Type error: `dict' expected, found `a' (an atom) ERROR: In: ERROR: [11] throw(error(type_error(dict,a),_14808)) ERROR: [10] '$typ

2熱度

1回答

PySwip閱讀蟒蛇

（X）功能，當我把這個在python from pyswip import * read = Functor("read",1) X=Variable() call(read(X)) 的響應是一個序言殼 |: 如何使代替的raw_input的序言的殼呢？感謝

4熱度

1回答

打開並檢查SWI-Prolog中的Pem文件

如何打開Pem文件來檢查a）'Not before'和'Not after'日期是否正常，以及b）是否存在一個證書鏈pem文件到路由證書頒發機構？我曾嘗試： :-use_module(library(http/http_client)). url('http://fm4dd.com/openssl/source/PEM/certs/512b-rsa-example-cert.pem').

4熱度

1回答

驗證簽名鏈SWI-Prolog 2-在最新版本的Swi中有所不同？

從https://stackoverflow.com/a/44524628?noredirect=1 :-use_module(library(http/http_client)). :-use_module(library(http/http_open)). :-use_module(library(clpfd)). url2('https://s3.amazonaws.com/ech

4熱度

1回答

從跟蹤中隱藏謂詞

是否有辦法隱藏跟蹤中的單個謂詞？在這樣的規則： p(<Stuff>) :- q(), p(<ModifiedStuff>); s(), p(<ModifiedStuff>); p(<ModifiedStuff>). 我就例如像躲從跟蹤q()和s()，因爲我只是感興趣的調用p()。 q()和s()可能會調用很多其他謂詞，這些謂詞完全阻塞了跟蹤，並

1熱度

1回答

序言，列表/ 1，內置系統謂詞，SWI-Prolog 7.4.2

我想要使用SWI-Prolog 7.4.2來獲取一些內置謂詞的定義。具體而言，split_string/4。 explain/1回報： system:split_string/4 is a built-in predicate Summary: ``Break a string into substrings'' true. listing/1回報： Foreign: system:split_s

3熱度

1回答

在Prolog中使用嵌入式R工具

我知道使用pack'real'，我們可以在Prolog中使用嵌入式R工具。但是我遇到了使用這個包的問題。我沒有找到使用這個包的簡單例子。有人可以舉個簡單的例子嗎？例如將Prolog值加載到R變量上，然後在這些值上調用R函數（通過R函數或其他函數生成一個圖）。