swi-prolog

    5熱度

    1回答

    我有興趣在Java中嵌入Prolog解釋器。一種選擇是使用JPL,但JPL站點上的下載鏈接已損壞,並且installation page提到了我無法找到的jpl.zip。我下載了似乎包含JPL的SWI-Prolog(它在安裝時將其列爲組件),但我仍不確定如何將它與Java一起使用。 有關如何在Windows上使用JPL的任何想法?是否有另一個圖書館可以用來實現相同的目標?我遇到了一些,但他們似乎不

    0熱度

    1回答

    我想知道是否有人設法使用'列表'。在JPL中命令檢查Prolog知識庫的內容? JPL要求您構建查詢,並根據您在查詢中設置的變量返回解決方案。例如(爪哇): Query q = new Query("holdsAt((X,Y) = true, 3)"); while (q.hasMoreSolutions()){ Hashtable s = q.nextSolution();

    2熱度

    2回答

    問候, 是否有測試或謂詞我可以在序言中用來驗證某個給定的字符是否按字母順序?現在,我正在做的是: 非法字符列表:\ n - > 10,空格 - > 32,! - > 33,.-> 46, - > 44,: - > 58, ; - > 59% %63->? 45 - > - 。,34->」,39->% \+member(Ch,[10, 32, 33, 34, 39, 44, 45, 46, 58,

    2熱度

    1回答

    我只是在Prolog中測試一個小腳本來檢查MySQL連接的健全性。在建立大約3000多個連接後,連接會隨機失敗。 MySQL Server中是否存在連接數量限制 :-dynamic db_connection/1. sanity_check_open_db:- odbc_connect('myDSN', _, [ user(bob), passwor