swi-prolog

1熱度

1回答

錯誤[XSB/Runtime/P]：[類型（庫（http/thread_httpd）代替原子）]

我試圖在服務器中託管XSB。我寫了下面的代碼： :- module(server, [server/0, server/1]). :- import http_server/2 from library(http/thread_httpd). :- import http_dispatch/1 from library(http/http_dispatch). :- use_module(s

1熱度

1回答

將查詢結果寫入序言中的文件

這是我的序言數據庫代碼。 :- dynamic myTable/2. init :- removeAll, asserta(myTable('avalue', 'another value')), asserta(myTable('avalue1', 'another value 1')), asserta(myTable('avalue2',

2熱度

1回答

退出SWI中的所有錯誤Prolog

有沒有辦法讓SWI Prolog退出任何語法或解析錯誤？我正在編寫測試並自動運行測試，並且如果出現語法錯誤，我並不總是注意到錯誤消息。

0熱度

1回答

子序列的索引

我正在使用sub_string函數。既然我不知道之前或之後有多少個字符，是否有任何方法可以從運行這樣一行字符串（如「sdlfkjdonutlsv」）的代碼（或其他方法）中找到子字符串「donut」開始的索引？（這是爲了解決單詞搜索）。 sub_string(H,_,Length,_,Word)

0熱度

1回答

沒有得到一個關於SWI的Aleph理論Prolog

我試圖讓Aleph工作，並誘發一個簡單的理論：祖父母（X，Z）： - 父親（X，Y），父親（Y，Z）。然而，我回到原子（例如祖父母（約翰，約翰朱尼爾朱尼爾））。希望有人能幫助。請注意，SWI的Aleph使用單個文件作爲輸入。乾杯/ JC 我的程序： :- use_module(library(aleph)). :- aleph. :- modeh(*,grandparent(+person

1熱度

1回答

製作和SWI-Prolog的實例的負載副本JPL

我所要做的是創建一個Prolog的實例和負載與JPL（以Java爲Prolog的接口）複製的副本。我可以想出幾種可能的方式來做到這一點，但是沒有一個能夠完全解決問題，這就是我來到這裏的原因。首先，我知道我可以節省使用qsave_program/2狀態的副本。這會創建一個我可以運行的exe文件。不過，我需要使用JPL從Java中查詢保存的實例。我試過尋找這方面的文檔，但我找不到任何（可能不是一個常

8熱度

1回答

swipl：如何重新加載文件

首先我加載與SWI-Prolog $ swipl file.pl 的文件，然後我修改文件並保存。現在我該怎樣重裝喜歡 ?- reload 此文件修改file.pl？

0熱度

1回答

無法從函數中提取日期（Y，M，D）

我是Prolog（SWI-Prolog，具體而言）中的一名極端初學者，並且在獲取當前工作日時遇到了很多麻煩，儘管我已經能夠獲得當前的年，月和日數了。 currentDate(Today) :- get_time(Stamp), stamp_date_time(Stamp,DateTime,local), date_time_value(date,DateTime,To

5熱度

1回答

這些在序言中意味着什麼？

首先，當我讀到Prolog上的不同謂詞時，例如http_server，它的寫法如下：http_server(:Goal, +Options):和+是什麼意思？有時也寫?。其次，有時候我會看到變量聲明爲帶有下劃線的變量，如_Request，即使沒有其他Request，爲什麼？

2熱度

1回答

Prolog如何消除左遞歸

我在prolog中編寫了DCG（形容詞短語和介詞短語），當我試圖運行它時，通過輸入ip([every,boy,loved,some,girl])，它顯示出本地堆棧。我意識到nbar有問題。有人可以幫我嗎？非常感謝。 %tree treeP(Term):- % Print the tree assuming indentation 0 treeP(0,Term), %