Mercury (programming language): Difference between revisions

Revision as of 00:51, 20 November 2004

Revision as of 02:45, 25 November 2004

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. which, whenIts combinedauthors claim withthat these features and the abstract nature of logic programming, ismake claimedit by its authorseasier to make writingwrite reliable programs simpler and faster than by more conventional meansrapidly. Mercury's module system also makes it easy to divide logic programs up into self-contained modules, a problem for logic programs in the past.

A sample piece of programming in Mercury looks like