Mercury 13.05.1

A new logic/functional programming language
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.

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

last updated on:
March 2nd, 2012, 13:41 GMT
license type:
GPL (GNU General Public License) 
developed by:
Mercury Developers
ROOT \ Programming \ Compilers
Download Button

In a hurry? Add it to your Download Basket!

user rating



Rate it!
What's New in This Release:
  • This bugfix release fixes build problems on Solaris and NetBSD and adds support for selecting the C# compiler at configuration time.
  • Various other minor bugs have been fixed.
  • There are also some minor additions to the standard library.
read full changelog

Add your review!