Mercury (programming language): Difference between revisions

Revision as of 01:35, 26 March 2005

Revision as of 20:24, 7 April 2005

Line 1:

'''Mercury''' is a functional/logical [[programming language]] based on [[Prolog]], but designed to be more useful for real-world programming problems.

Mercury is compiled rather than interpreted as is traditional for [[logic programming|logic languages]]. It has a sophisticated, strict [[Data type|type]] and mode system. Its authors claim that these features and the abstract nature of logic programming makehelps itrapid easierwriting to writeof reliable programs rapidly. Mercury's module system alsoenables makes it easy to divide logic programs updivision into self-contained units, a problem for past logic programsprogramming in the pastlanguages.

A sample piece of programming in Mercury looks like

Hello World in Mercury:

<pre>

:- module hello_world.