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

[02 March 2012]Mercury 11.07.1 released
Release information is available here.
[28 January 2012]New paper
A new paper and presentation have been added to the papers page. These describe how parallel conjunctions with recursive calls can be handled more efficiently, especially with regard to memory usage.
[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.

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.