https://wiki.zh-tw.ima.org.tw/w/index.php?action=history&feed=atom&title=SWI-Prolog 2026-07-09T03:50:42Z 本 wiki 上此頁面的修訂紀錄 MediaWiki 1.43.1 https://wiki.zh-tw.ima.org.tw/w/index.php?title=SWI-Prolog&diff=18389&oldid=prev 2025-09-25T12:39:06Z

<p>從 JSON 檔案批量匯入</p> <p><b>新頁面</b></p><div>SWI-Prolog 是 Prolog 程式語言的一種免費實作，常用於教學和語義網應用。它具有豐富的功能、用於約束邏輯程式設計的函式庫、多執行緒、單元測試、GUI、與 Java、ODBC 等的介接、文學編程、網頁伺服器、SGML、RDF、RDFS、開發者工具（包括附有圖形介面除錯器和圖形介面效能分析器的 IDE），以及詳盡的文件。<br /> <br /> SWI-Prolog 可在 Unix、Windows、Macintosh 和 Linux 平台上執行。<br /> <br /> SWI-Prolog 自 1987 年以來一直持續開發。其主要作者是 Jan Wielemaker。<br /> <br /> SWI 這個名字源自「社會科學資訊學」（Social Science Informatics），這是阿姆斯特丹大學一個團體的舊稱，Wielemaker 在發起 SWI-Prolog 開發時正任職於此。<br /> <br /> == 執行模型 ==<br /> SWI-Prolog 並非基於 Prolog 的沃倫抽象機（Warren Abstract Machine）執行模型。<br /> <br /> 相反地，它基於 ZIP 虛擬機的擴充版本，這是一種 Prolog 的最小虛擬機，實作了一種僅由七個指令組成的簡單語言。SWI-Prolog 的特定擴充旨在透過多種方式提升效能：引入特定指令以支援合一（unification）、謂詞調用、一些常用的內建謂詞、算術、控制流程以及失敗即否定。Prolog 可以輕易地編譯成這種語言，而抽象機碼也很容易反編譯回 Prolog。此特性常被用於交錯執行編譯碼和解譯碼。<br /> <br /> == 約束邏輯程式設計 ==<br /> <br /> 約束邏輯程式設計功能在 SWI-Prolog 的發展歷程中出現得相當晚，因為它缺乏基本的支援。這種情況在 2004 年初發生了改變，當時屬性變數被加入到該語言中。魯汶大學的 CHR 函式庫隨後成為第一個被移植到 SWI-Prolog 的 CLP 函式庫。我們還可提及 SWI-Prolog 的 INCLP(R) 函式庫（De Koninck et al. 2006），它提供了對實數的非線性約束，並在 CHR 之上實作。後來又移植了 Christian Holzbaur 的 CLP(QR) 函式庫和一個有限域 CLP(FD) 求解器。最後，還增加了一個布林 CLP(B) 求解器。<br /> <br /> == SWI-Prolog 的擴充功能 ==<br /> SWI-Prolog 安裝時附帶一個基於定式子句文法的網路框架。<br /> SWI-Prolog 的查詢可以透過 Pengines 系統分佈在多個伺服器和網頁上。<br /> <br /> === XPCE ===<br /> XPCE 是一個為 SWI-Prolog、Lisp 及其他互動式和動態型別語言設計的跨平台物件導向 GUI 工具包。雖然 XPCE 的設計初衷是語言無關的，但它主要在 Prolog 社群中受到歡迎。XPCE 圖形工具包的開發始於 1987 年，與 SWI-Prolog 同期。<br /> 它支援按鈕、選單、滑桿、分頁和其他基本的 GUI 小工具。XPCE 可在所有 SWI-Prolog 支援的平台上使用。<br /> <br /> PceEmacs 是 SWI-Prolog 的內建編輯器。PceEmacs 是一個用 Prolog（和 XPCE）實作的 Emacs 複製品。它支援適當的縮排、語法高亮、透過呼叫 SWI-Prolog 解析器進行完整的語法檢查、對單一變數發出警告，以及根據 Prolog 資料庫中的原始碼資訊尋找謂詞定義。<br /> <br /> === 介面 ===<br /> JPL 是 Java 和 Prolog 之間的雙向介面。它需要 SWI-Prolog 和 Java SDK。它作為 SWI-Prolog 的一部分進行安裝。<br /> <br /> ==參見==<br /> <br /> * Prolog<br /> * Prolog 實作的比較<br /> * Prolog 語法與語義<br /> <br /> ==參考資料==<br /> <br /> ==外部連結==<br /> <br /> Category:自由及開放原始碼編譯器<br /> Category:Prolog 程式語言家族<br /> Category:約束程式設計<br /> Category:整合式開發環境<br /> Category:以 C 語言編寫的自由軟體<br /> Category:以 Prolog 語言編寫的自由軟體<br /> Category:跨平台自由軟體<br /> Category:使用 BSD 授權條款的軟體<br /> Category:使用 GNU 寬通用公共許可證的軟體<br /> <br /> [[分類: 待校正]]</div>

TaiwanTonguesApiRobot