Mercury (programming language): Difference between revisions

Revision as of 05:33, 16 August 2001

Revision as of 15:51, 25 February 2002

Line 1:

'''Mercury''' is a logical [[programming language|programming languages]] based on [[Prolog]], but

designed to be more useful for real-world programming problems.

CompiledMercury is compiled rather than interpreted as is traditional for [[logic programming|logic languages]],

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

combined with the abstract nature of logic programming, makes it easy to

Compiled rather than interpreted as is traditional for logic languages,

write reliable programs. ItsMercury's module system also makes it easy

it has a sophisticated, strict type and mode system which, when

combined with the abstract nature of logic programming, easy to

write reliable programs. Its 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]].

Science department under the supervision of Dr Zoltan Somogyi.