SWI-Prolog

這是非常有用的邏輯編程目的，人工智能和計算語言學

是什麼在此版本中是新的：

• 在該新的字典類型和語法提供了時間和空間效率的名字 - 值映射一個愉快的語法。
• 其結果是，有必要更換該列表構造（H，T）由（也通過使用汞）'[|]'（H，T）。這似乎激烈，但實際上只影響了一些項目，特別是在做仿函數（期限，F，A）的名單，然後f選擇進一步處理==''，A == 2。要打開列表更進一特殊的結構，[]仍是空列表，但不再一樣“[]”，即，[]是不是原子。
• 在語法和QUOT; ...＆QUOT;現在映射到字符串。字符串是與Eclipse兼容（感謝約阿希姆Schimpf所有的討論）。傳統的代碼表使用的是....這些標誌double_quotes構造和back_quotes控制這種行為。
• 感謝的Torbjörn貯藏啤酒，我們有＆QUOT; Pengines＆QUOT;，在網絡上的Prolog引擎。這提供了一個通用的API來輕鬆交談，從JavaScript和其它的Prolog實例的Prolog的服務器。它使SWISH，SWI-Prolog的瀏覽器（http://swish.swi-prolog.org）以及http://lpn.swi-prolog.org（了解Prolog的現在！內嵌SWISH）。
• 在馬庫斯Triska加入CLP（B），布爾約束求解，提高自己的中電（FD），是多項增強功能，以處理約束的頂層之前。
• 感謝馬特李潔明和邁克·埃爾斯頓，有CQL，一個DSL（領域特定語言）來處理SQL。 CQL開發在複雜的SQL數據庫的規範，因此支持SQL的一個大的子集，並可以與成千上萬的柱子和其他的東西了ocasional SQL用戶沒有想到的表格處理的環境。
• 在馬特李潔明提高顯著的網絡支持，包括SSL和HTTP和SOCKS代理服務器一般支持更好的支持。
• 在很多人提供了附加組件（包）依賴於SWI-Prolog的第7版。

什麼是新的版本7.2.1 / 7.3.3-dev的：

• 在新的字典式和語法提供時間和空間高效的名稱 - 值映射，具有令人愉快的語法。
• 其結果是，有必要更換該列表構造（H，T）由（也通過使用汞）'[|]'（H，T）。這似乎激烈，但實際上只影響了一些項目，特別是在做仿函數（期限，F，A）的名單，然後f選擇進一步處理==''，A == 2。要打開列表更進一特殊的結構，[]仍是空列表，但不再一樣“[]”，即，[]是不是原子。
• 在語法和QUOT; ...＆QUOT;現在映射到字符串。字符串是與Eclipse兼容（感謝約阿希姆Schimpf所有的討論）。傳統的代碼表使用的是....這些標誌double_quotes構造和back_quotes控制這種行為。
• 感謝的Torbjörn貯藏啤酒，我們有＆QUOT; Pengines＆QUOT;，在網絡上的Prolog引擎。這提供了一個通用的API來輕鬆交談，從JavaScript和其它的Prolog實例的Prolog的服務器。它使SWISH，SWI-Prolog的瀏覽器（http://swish.swi-prolog.org）以及http://lpn.swi-prolog.org（了解Prolog的現在！內嵌SWISH）。
• 在馬庫斯Triska加入CLP（B），布爾約束求解，提高自己的中電（FD），是多項增強功能，以處理約束的頂層之前。
• 感謝馬特李潔明和邁克·埃爾斯頓，有CQL，一個DSL（領域特定語言）來處理SQL。 CQL開發在複雜的SQL數據庫的規範，因此支持SQL的一個大的子集，並可以與成千上萬的柱子和其他的東西了ocasional SQL用戶沒有想到的表格處理的環境。
• 在馬特李潔明提高顯著的網絡支持，包括SSL和HTTP和SOCKS代理服務器一般支持更好的支持。
• 在很多人提供了附加組件（包）依賴於SWI-Prolog的第7版。

什麼是新的版本7.2.0 / 7.3.1-dev的：

• 在新的字典式和語法提供時間和空間高效的名稱 - 值映射，具有令人愉快的語法。
• 其結果是，有必要更換該列表構造（H，T）由（也通過使用汞）'[|]'（H，T）。這似乎激烈，但實際上只影響了一些項目，特別是在做仿函數（期限，F，A）的名單，然後f選擇進一步處理==''，A == 2。要打開列表更進一特殊的結構，[]仍是空列表，但不再一樣“[]”，即，[]是不是原子。
• 在語法和QUOT; ...＆QUOT;現在映射到字符串。字符串是與Eclipse兼容（感謝約阿希姆Schimpf所有的討論）。傳統的代碼表使用的是....這些標誌double_quotes構造和back_quotes控制這種行為。
• 感謝的Torbjörn貯藏啤酒，我們有＆QUOT; Pengines＆QUOT;，在網絡上的Prolog引擎。這提供了一個通用的API來輕鬆交談，從JavaScript和其它的Prolog實例的Prolog的服務器。它使SWISH，SWI-Prolog的瀏覽器（http://swish.swi-prolog.org）以及http://lpn.swi-prolog.org（了解Prolog的現在！內嵌SWISH）。
• 在馬庫斯Triska加入CLP（B），布爾約束求解，提高自己的中電（FD），是多項增強功能，以處理約束的頂層之前。
• 感謝馬特李潔明和邁克·埃爾斯頓，有CQL，一個DSL（領域特定語言）來處理SQL。 CQL開發在複雜的SQL數據庫的規範，因此支持SQL的一個大的子集，並可以與成千上萬的柱子和其他的東西了ocasional SQL用戶沒有想到的表格處理的環境。
• 在馬特李潔明提高顯著的網絡支持，包括SSL和HTTP和SOCKS代理服務器一般支持更好的支持。
• 在很多人提供了附加組件（包）依賴於SWI-Prolog的第7版。

什麼是新版本 6.6.6 / 37年7月1日：

• 在加工＃！結合一個文件，在Unix的一個解釋不再嘗試是聰明的解釋處理選項。這種改變的效果取決於Unix版本：一些打破他們後只能通過第一個選項，其他人收拾所有選項為一，還有一些通過選項
• 序言標誌的argv只規定還沒有被處理過的Prolog參數。
• 的init文件.plrc（在Windows pl.ini）不再在工作目錄中搜索出於安全考慮。

什麼是新版本 6.6.6 / 7.1.31：

• 在加工＃！結合一個文件，在Unix的一個解釋不再嘗試是聰明的解釋處理選項。這種改變的效果取決於Unix版本：一些打破他們後只能通過第一個選項，其他人收拾所有選項為一，還有一些通過選項
• 序言標誌的argv只規定還沒有被處理過的Prolog參數。
• 的init文件.plrc（在Windows pl.ini）不再在工作目錄中搜索出於安全考慮。

什麼是在6.4.0版本新：

• 在更新了RDF庫版本3。任何人都關心有關RDF很可能已經在使用的開發版本，因為這個原因。對於ntriples增速解析器，海龜和TRIG格式。
• 準報價平穩和安全納入外部語言片段介紹
• PlDoc的升級，接受共同的降價結構。
• 多項增強功能，開發工具，HTTP庫，CLIB包。為Unix守護進程等更好的支持（系統日誌，UID / GID管理等）
• 在一開始為現場處理（支持格式/ 3，尤其是寫作語言環境特定的大的整數。
• 大量的穩定的東西：固定的崩潰，便攜性補丁，構建系統的改進等

什麼是6.2.0版本，新的：

• 的'包'包管理器的初始版本
• 在更好的源文件處理，特別是WRT。 ： - 包括（文件）
。
• 許多修正到調試器，提高了光源的處理，並且決定在邏輯上哪些端口是隱藏的。
• Windows版本，現在建立一個使用MinGW的編譯器​​項目，導致10-20％的增速。增強swipl-win.exe將控制台：複製/粘貼和顏色支持

什麼是6.0.0版新：

• 在動態剛剛在時間索引的多個參數
• 抽象很多的開發API，支持PDT IDE。
• 大量清理，錯誤修正等。

什麼在20年5月11日的版本是新的：

• 在降低跟踪堆棧的使用
• 提供代垃圾回收。

什麼版本5.11.10是新的：

• 在降低跟踪堆棧的使用情況。 （部分）
• 提供代垃圾回收。

什麼版本5.11.9為新的：

• 在降低跟踪堆棧的使用情況。 （部分）
• 提供代垃圾回收。

什麼版本5.10.0為新的：

• 在所有平台上現在使用一致的命名。該SWI-Prolog的可執行文件名為swipl，鏈接器swipl-LD和種源，文件管理器swipl-RC。
• 新棧存儲器管理是基於堆棧移，而不是在虛擬地址空間稀疏地分配堆棧。這種變化允許在線程數好得多的可擴展性，因此，我們也除去100舊針數限堆棧-限制，現在可以升高，並使用set_prolog_stack / 2減小在運行時。
• 默認堆棧大小的限制，現在每堆128MB在64位硬件的32位和256MB。
• 大量洩漏和壓力測試有固定的一些洩漏和競爭條件，使得系統在很多全天候服務器設置更加強勁。
• 在一開始已避免使用C-堆棧遞歸到條款。這樣可以使處理更深層嵌套條款和規定，如果沒有足夠的資源來遍歷術語乾淨異常。還有很多工作要做，在這方面。
• SWI-Prolog的5.10.0介紹安全參考數據庫術語（assertz / 2，recordz / 3）和流（打開/ 3）。
• 的變量條款的數量現在限制為1,000,000,000;這是65535此外，該系統遇到資源錯誤或試圖非法斷言術語如環狀術語時提供優美的例外。
• 兼容性既YAP和SICStus增強。

什麼版本5.8.2的新：信號接口的實現和文檔：

• 清理。
• 修正：使用--nopce / - 為PCE（DIS），使圖形
• 固定：GC-的bug;省略剝離uwrite位從參數堆棧
• 修改：刪除了序言標誌abort_with_exception;它不再使用。
• 固定：避免死鎖在嘗試一個致命錯誤後退出
。
• 修改：is_set / 1現在使用排序/ 2。其結果是，非共享變量被認為是不同的元素;的順序是N *日誌（N）和謂詞可以返回資源錯誤。
• 固定：後： - 模塊（x）的，執行相對目標擴展模塊X
• 清理：編號547：正確引用未定義​​的謂詞和替代品
• 商務部：明確current_arithmetic_function / 1
。
• 商務部：提供可用性的這段為C函數
• 固定：上簡化損壞的編譯器的變量管理。還增加了測試用例。
• 固定：錯誤＃436：與自己統一的變量創建一個參考環
。

什麼是在5.7.14版新：

• 固定：交叉參考區分：0在元謂詞聲明
• 清理：用於meta_predicate為predsort / 3
• 修改：使/ 0，現在只為引用未定義​​的謂詞在掃描包含它們的模塊。該list_undefined / 0還是全球範圍內搜索。
• 加強：CLP（FD）：圓弧一致global_cardinality / 2，如果對最初地
• 固定：手柄（多文件）謂詞的一些條款有他們的身體在其他模塊和一些相同。馬特李潔明。
• 新增：％[＆＃X3C; N＆＃x3e; F的格式format_time / 3處理秒的小數部分。使用新的調試擴展。
• 新增：debug_message_context（+ | -Context）指定調試信息（如時間戳）的其他方面
。
• 固定：請apply_macros盡其目標擴展系統模塊的上下文
• 加強：CLP（FD）：快速global_cardinality / 2，如果鑰匙民對是地面
。
• 固定：處理運營商優先回答打印。馬庫斯Triska。
• 增強：對剩餘的目標使用頂級打印選項，清理執行
• 強化：請term_variables和term_attvars有效的，如果一個列表給出（特別是term_attvars（期限，[]））
。
• 強化：請記錄數據庫中使用新詞 - 沃克代碼
• 增強：骨架用一個簡單的循環，而不是一個遞歸過程遍歷方面的首次設置。現在在使用term_variables / 2和相關的謂詞。模式出現足夠的，但該分段棧代碼必須大大優化。原樣，term_variables / 2稍慢（5％），但它可以處理深深嵌套項用少得多的存儲器和不棧溢出。
• 新增：term_attvars / 2為更好地支持copy_term / 3。在與馬庫斯Triska討論。
• 新增：del_attrs / 1，刪除*所有*屬性。簡化copy_term / 3。

什麼是5.7.12版新：

• 在大型程序性能提高為10〜40 ％，這取決於編程風格。值得注意的是約束求解獲利顯著。小程序有時會表現出更大的加速。
• 在自5.7.4，更新後的模塊系統
• 大量清理的命名和代碼庫的模塊化。