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，更新后的模块系统
• 大量清理的命名和代码库的模块化。