Mercury

逻辑编程语言已经存在了二十多年。尽管基于逻辑的发达理论与传统的编程语言（如C，C ++，Pascal和ADA）的一个非常高级编程语言的优势，预计他们不会对计算机行业显著影响。
汞是一种新的逻辑/函数式编程语言，它结合了清晰度和声明式编程与先进的静态分析和错误检测功能的表现。
水星是高度优化的执行算法远远带来的效率超过现有逻辑编程系统，并接近传统的编程系统。
水星解决大型程序开发的问题，让模块化，独立编译，以及众多的优化/时间权衡

什么是此版本中的新：

• 在此修正版修复建立在Solaris和NetBSD的问题，并增加了用于选择C＃编译器在配置时的支持。
• 在其他各种小错误已得到修复。
• 也有一些小的补充标准库。

什么版本13.05是新的：

• 在现在支持在Windows 64位可执行文件生成。
• 在编译时间非常大的项目都得到了提高。
• 在一些新类型的代表性的优化已被添加。
• 在调试器现在有处理相互递归调用拉帮结派堆栈上更好的支持。
• 系统结合到GLFW库已被添加到额外分配。
• 在与C＃后端产生的组件，现在可以用强名称签名。

什么版本11.01是新的：

• 我们已经增加了两个新种作用域的语言。
• 在通过新的关键字require_det，require_semidet，require_multi，require_nondet，require_cc_multi，require_cc_nondet，require_erroneous和require_failure，一个引入的范围，顾名思义，需要的范围内的目标，具有给定的决定。
• 由关键字require_complete_switch引入的范围要求的范围内的目标，如果是上命名的范围的变量的开关，成为一个完整的开关，即有武器的所有功能码元中的所述类型接通变量。
• 我们已经增加了对hash_table.fold / 4和version_hash_table.fold / 4。
semidet模式
• 我们增加了新的谓词和功能的assoc_list模块。谓词map_keys_only / 3 map_values​​_only / 3和map_values​​ / 3补体相同名称的功能。谓词过滤/ 3，negated_filter / 3，过滤/ 4，合并/ 3，其中也有功能的版本中，执行作业非常类似于列表模块中的相同名称的谓词，但做了相关的操作上的按键，而不是整个列表中的元素。
• 我们已经提出了懒惰评估模块出额外的分布，进入一个新的标准库模块被称为'懒'。它也取得了后端无关。
• 我们已经修改了标准库的列表的模块：
• 我们增加了一个新的谓词list.member_index0 / 3。这就像list.member / 2不同的是它也需要代表列表中的元素的从零开始的索引参数。
• 我们增加了一个新的谓词list.map3_foldl / 7映射在一个列表三产列表和一个折叠的价值。
• 我们加入semidet模式具有独特的蓄电池为list.foldl3 / 8，list.foldl4 / 10，list.foldl5 / 12，和list.foldl6 / 14。
• 我们已经添加了谓词分/ 4和divide_by_set / 4标准库的tree_bitset模块。
• 我们已经添加了谓词set_ctree234.member / 2和set_ctree234.non_empty / 1。我们有添加函数set_ctree234.from_list / 1。
• 我们已经添加了谓词set_bbbtree.count / 2和功能set_bbbtree.count / 1。这些替代谓词set_bbbtree.size / 2这是现在过时了。
• 我们已经添加了谓词set_ordlist.non_empty / 1。
• 我们已经添加了谓词set_tree234.non_empty / 1和功能set_tree234.from_list / 1。
• 我们已经添加了谓词set_unordlist.non_empty / 1和set_unordlist.count / 2，功能set_unordlist.count / 1。
• 在所有的标准库实现了集ADT（套，set_ordlist，set_unordlist，set_bbbtree，set_tree234和set_ctree234）模块，现在支持折叠套多达六个蓄电池。模式，提供独特的，大部分是唯一的蓄电池组折也增加了。
• 我们已经做了如下改变标准库的阵列模块：
• 我们已经添加了功能unsafe_elem / 2和追加/ 2。
• 我们已经添加了谓词svset / 4，unsafe_svset / 4，foldl2 / 4，foldl2 / 6，FOLDR / 4，foldr2 / 6，map_foldl / 5，map_corresponding_foldl / 6，和成员/ 2。
• 我们已经添加了谓词version_array.foldl2 / 6，version_array.foldr / 4，和version_array.foldr2 / 6的标准库。
• 我们已经添加semidet模式独特且多为唯一蓄电池以下谓词：
• 在bimap.foldl2 / 6
• 在bimap.foldl3 / 8
• 在cord.foldl_pred / 4
• 在cord.map_foldl / 5
• 在list.map_corresponding_foldl2 / 8
• 在list.map_corresponding_foldl3 / 10
• 在list.map_corresponding3_foldl / 7
• 在map.foldl3 / 8
• 我们已经添加了谓词unsorted_aggregate2 / 6的标准库的解决方案模块。
• 我们已经增加了几个谓词和功能的标准库的要求模块。谓词对不起/ 2和难过/ 3的报告缺乏特色，而意外/ 2和意外/ 3报告程序的内部错误的谓词;所有的功能都过于版本。谓词期望/ 3的呼叫意外，如果条件不满足。我们现在有希望/ 4以及期望/ 3。对于期望/ 4以及期望/ 3中，第一和最后一个参数是预期的条件和错误信息分别，但与预料/ 4，有在中间的指定误差（通常是名称的位置的两个参数模块和分别的谓词的）。我们还增加了expect_not / 3和expect_not / 4，这就像指望/ 3，并期望/ 4分别，但他们期望的情况是假的* *，不是真的。

什么是新的版本10.04.2：

• 在这个版本是一个bug修复版本。许多导致编译中止已修复的问题，在java档次一些破碎的RTTI操作已经固定，我们增加了一个解决方法与GCC 4.4版的一个问题。

限制：

当前的实现还没有完全落实水星语言。目前实施的主要限制如下：
• 我们不允许在模式的系统一定走样。没有这一点，部分实例化模式是不可用的，所以嵌套独特的模式。
• 在编译器还没有使用结构重用或编译时垃圾回收利用独特的模式。
• 在类型和模式的推断都有点不完美。

<李类=“bbli”>此外，在这个设计实行决策强加以下限制：
• 在谓词和功能最多可以有1000争论。
• 在高阶项最多可以有500的参数。