Top > All Packages in Directory > Mercury

Mercury - Logic/functional programming language

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.



Obtaining

Web pagehttp://www.cs.mu.oz.au/research/mercury/
Source tarballhttp://www.cs.mu.oz.au/research/mercury/download/release.html
Source informationhttp://www.cs.mu.oz.au/research/mercury/download.html
Version 0.11.0 (stable) released on 2002-12-24
Licensed under GPL, LGPL.
This is not a GNU package.

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

Announce List<mercury-announce@cs.mu.oz.au> <mercury-announce-request@cs.mu.oz.au> body: "subscribe" http://www.cs.mu.oz.au/research/mercury/mailing-lists/mailing-lists.html
Help List<mercury-users@cs.mu.oz.au> <mercury-users-request@cs.mu.oz.au> body: "subscribe" http://www.cs.mu.oz.au/research/mercury/mailing-lists/mailing-lists.html
Developer List<mercury-developers@cs.mu.oz.au> <mercury-developers-request@cs.mu.oz.au> body: "subscribe" http://www.cs.mu.oz.au/research/mercury/mailing-lists/mailing-lists.html

Project contacts

Maintainers
Developers
Contributors
Sponsors
  • University of Melbourne

Related information

Interfacescommand line
Source languagesmercury
Build prerequisitesgcc 2.7.2 or higher, GNU make 3.69 or higher

Entry information

License verified byJanet Casey <jcasey@gnu.org> on 2001-07-12
Entry compiled byJanet Casey <jcasey@gnu.org>

Categories


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

Copyright © 2000, 2001, 2002, 2003 Free Software Foundation, Inc.

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 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. A copy of this license is included in the file COPYING.DOC.

Please report any problems in this page to bug-directory@gnu.org, or find out how you can help fix them.

The FSF provides this directory as a service to the free software community. Please consider donating to the FSF to help support this project.