The Mercury Project
Introduction

[Mercury Logo]
Home

News

Information

Documentation

Mailing Lists

Back-ends

Download

Related

Contact

Search

Bug Database

What is Mercury?

Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry.

Mercury is a new 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.

Latest News

[22 December 2011]New release
We are pleased to announce the release of version 11.07 of the Mercury system. The new release can be downloaded here. For a list of the changes since the last version see the release notes.
[15 August 2011]Three new papers
Three new papers about parallelism in Mercury have been added to the papers page. Associated with each paper is a presentation that was given at ICLP 2011. The presentations are also available on the papers page.
[29 June 2011]11.07 beta release available
Beta releases of Mercury 11.07 are available here.
[14 June 2011]Mercury featured on dotnetrocks.com podcast
dotnetrocks.com recently interviewed Paul Bone about Mercury and some of its features including Declarative Debugging and Automatic Parallelism. The podcast episode can be found here.
[07 June 2011]New presentation
The slides for a presentation about the Mercury project that was given at the Linux Users of Victoria's June 2011 meeting are now available from the papers page.

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.mercury.csse.unimelb.edu.au/rss.xml.