Mercury is a logic/functional programming language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
“Mercury is a general purpose language intended to support the creation of large, reliable and efficient applications.”
Latest News
Subtypes support
The latest releases of the day now support subtypes. You can read about subtypes in the reference manual.
16 April 2021Mercury 20.06.1 released
Release Information is available here.
03 November 2020Mercury 20.06 released
Release Information is available here.
30 June 202020.06 beta release available
Beta versions of the upcoming 20.06 release are available on the downloads page.
02 June 2020Mercury 20.01.2 released
Release Information is available here.
03 May 2020
This list contains only the latest news items.
For older news items, see the
(complete news archive).
News is also available as an RSS feed at http://www.mercurylang.org/rss.xml.