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的參數。