swi-prolog

2熱度

1回答

對我來說這似乎很好，但它總是給人錯誤的...我無法理解爲什麼。 letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. 謝謝。

1熱度

1回答

我正在驗證一個驗證器來驗證turtle文件。當處理一個函數以檢查每個對象的基數是否正確時，我無法弄清楚如何訪問文字的值。（或1^^'http://www.w3.org/2001/XMLSchema#nonNegativeInteger'）。我找到一包長度爲L的物業。我怎麼檢查L == Card？我已經試過如下： % L and Card are both 1 rdf_canonical_l

0熱度

1回答

卡在Prolog目錄

我剛剛開始在序言中，必須做一個項目。我的教授花了整整10分鐘時間，然後爲它指定了一個最終項目。我試圖完成它，但我不知道如何切換目錄。我知道你應該使用working_directory(oldDir,newDir)。但是我卡在我的oldDir中，並且說我的newDir不存在。我的oldDir是/ Applications /，我試圖去/ Documents /，但它告訴我，這不存在。這正是我想：

2熱度

1回答

在SWI Prolog中調試模式下每個步驟的數字是什麼意思？

在SWI Prolog中，您可以通過trace.啓用跟蹤。以下是從http://www.cs.ucsb.edu/~kyledewey/cs162w17/debugging_prolog.html [trace] ?- X = 2, allBetween(X, 0, 3). Call: (7) _G1752=2 ? creep Exit: (7) 2=2 ? creep

1熱度

1回答

source_sink'庫（進程）'不存在

我想在swipl中安裝一些第三方軟件（版本7.5.5。;完全安裝並且沒有github repo的投訴）。現在，我得到了以下錯誤： ERROR: /usr/local/lib/swipl-7.5.5/library/prolog_pack.pl:52: source_sink library(process)' does not exist Warning: /usr/local/lib/swip

0熱度

1回答

檢查的序言

我是在一個項目上工作，檢查用C或Java AA程序的語法並返回語法（C或Java代碼）是真或假程序語法將檢查下面的Ex。如果我把它寫對或錯例： for(x=0;x<10;x++) { print("Hello"); } 什麼想法？

0熱度

1回答

如何在XPCE中按下按鈕後打印功能結果

我試圖通過按下XPCE中的按鈕來打印功能結果。這裏是我的代碼： /* 11) Max square */ max_square(M, A) :- findall(P, country(A, P, _, _), L), write('Max square in thousands km^2: '), aggregate(max(E), member(E, L), M)

0熱度

1回答

SWI-Prolog中duplicate_term/2和copy_term/2之間的區別

SWI-Prolog中duplicate_term/2和copy_term/2之間的區別是什麼？你可以給他們顯示不同行爲的輸入嗎？

3熱度

2回答

序言：臨界區，回溯，錯誤處理

我正試圖編寫一個由SWI-Prolog中的互斥量守護的關鍵部分，並一直在尋找使用setup_call_cleanup/3和setup_call_catcher_cleanup/4。我的問題是，我的目標是操作序列，其中任何可能失敗，這意味着該系統回溯到的setup_call_cleanup開始，並呼籲清理。不幸的是，回溯我無法適當地報告錯誤。爲了說明我的問題讓我們看看這個簡單的例子： setup_

1熱度

1回答

定條款文法，</p> <pre><code>letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. </code></pre> <p>而在SWI-Prolog的7以下SWI-Prolog的7及以上

它的工作SWI-Prolog的4之間的差異正在 :- set_prolog_flag(double_quotes, codes). letter(X) --> [C], {"a"=<C, C=<"z", name(X,[C])}. 在SWI搜索-Prolog網站，我發現： Mode--------------double_quotes-----------back_quotes Versi