Mercury

Mercury is a modern logic/functional programming language. It includes a compiler, a debugger, a profiler, and numerous library packages and other tools. It is designed to be the successor to logic programming languages like Prolog.

It 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. It allows modularity, separate compilation, and numerous optimization/time trade-offs.

Last updated 9 Jan, 2008


User level: Submit a level

User Rating:

Homepage

License(s) :

GPLv2orlater
LGPLv2

Rate it!

 

About

Leadership
Requirements
  • gcc 2.7.2 or higher (Build Prerequisite)
  • GNU make 3.69 or higher (Build Prerequisite)

Versions

0.13.1

User Community and Support

User guide, reference manual, and tutorial available in HTMl or PostScript formats from http://www.cs.mu.oz.au/research/mercury/information/documentation.html

General Resources
Announcement Resources
Support Resources

Development

Developer Resources
 

Please send comments on these web pages to bug-directory@fsf.org, send other questions to info@fsf.org.

Copyright © 2000 - 2009 Free Software Foundation, Inc., 51 Franklin Street, 5th Floor, Boston, MA 02110-1301, USA

The copyright licensing notice below applies to this text. Any software described in this text has its own copyright notice and license, which can usually be found in the distribution itself.

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts.