Mercury (programming language): Difference between revisions

Revision as of 03:56, 21 January 2005

Revision as of 01:35, 26 March 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 make it easier to write reliable programs rapidly. Mercury's module system also makes it easy to divide logic programs up into self-contained modulesunits, a problem for logic programs in the past.

A sample piece of programming in Mercury looks like