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.

---

Latest News

• Mercury 20.01 released

  Release Information is available here.

  28 January 2020

• 20.01 beta release available

  Beta versions of the upcoming 20.01 release are available on the downloads page.

  10 January 2020

• musl libc support

  Mercury now works with systems that use the musl C library.

  09 January 2018

• Unsigned Integers

  We have added a new builtin primitive type: uint. This type provides unsigned integers of the same size as Mercury's int type. The new type is available in the latest release of the day.

  13 June 2017

• New Presentations

  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 available

  07 April 2015

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.