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.
Paul Bone introduced Mercury in a presentation to the Melbourne Functional User Group. His slides are available on the Papers page. The slides from Paul's Ph.D. completion seminar have also been made available07 April 2015
Mercury 14.01.1 released
Release Information is available here.08 September 2014
Windows binary packages for Mercury 14.01 available
Windows binary packages for Mercury 14.01 using either MinGW GCC or Visual Studio 2013 (32-bit only) are now available on the downloads page.19 February 2014
Mercury 14.01 released
Release information is available here.10 February 2014
14.01 beta release available
Beta versions of the upcoming 14.01 release are available on the downloads page.03 January 2014
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.