Mercury (programming language): Difference between revisions

Revision as of 17:08, 29 November 2005

Revision as of 17:09, 29 November 2005

Line 1:

'''Mercury''' is a [[Functional programming|functional]] [[logic programming|logic]] [[programming language]] geared towards real-world software engineeringapplications. The first version was developed by Fergus Henderson, Thomas Conway and [[Zoltan Somogyi]] and was released on April 8th, 1995. The latest official release was version 0.12, on the 9th September, 2005.

Mercury has several features intended for better [[software engineering]]. It is [[compiler|compiled]] rather than interpreted, as is traditional for logic programming languages. It features a sophisticated, strict [[Data type|type]] and mode system. Its authors claim these features combined with logic programming's abstract nature speeds writing of reliable programs. Mercury's module system enables division into self-contained units, a problem for past logic programming languages. (But note that several existing Prolog implementations also include module systems.)