SAL Home PROGRAM Languages & Compilers


Icon 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.

Current Version:   0.8.1

License Type:   Free software (GPL, LGPL, etc. -- see the README file in the source distribution for details)

Home Site:

Source Code Availability:   Yes

Available Binary Packages:

Targeted Platforms:

Unix (Linux, Solaris, SunOS, Alpha/OSF, IRIX, ULTRIX)
MS Windows 95/NT

Software/Hardware Requirements:

On Unix: gcc, GNU make.
On Windows: gnu-win32.

Mailing Lists/USENET News Groups:
mercury-announce, mercury-users, and comp.lang.prolog.

User Comments:

  • ``Mercury has definite potential to be one of the hot languages in the next few years'' -- Chris Phelps.

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.