Mercury (programming language): Difference between revisions

Revision as of 20:43, 12 April 2002

Revision as of 05:13, 5 February 2003

Line 1:

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

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, when combined with the abstract nature of logic programming, is claimed by its authors to make writing reliable programs simpler and faster than by more conventional means. 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.

it has a sophisticated, strict [[datatype|type]] and mode system which, when

combined with the abstract nature of logic programming, is claimed by its authors to make writing reliable programs simpler and faster than by more conventional means. 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.

Mercury is developed at the [[University Of Melbourne]] Computer

Science department under the supervision of Dr. [[Zoltan Somogyi]].

Mercury is developed at the [[University Of Melbourne]] Computer Science department under the supervision of Dr. [[Zoltan Somogyi]].