Mercury is a Programming Language descended from the Prolog Language.
From the project site (
s sneaked in
What is Mercury?
languages have been around since about 1970 (Prolog and Micro
Planner). Despite the expected advantages of a very
based upon well developed theories of logic over conventional programming languages (such as
) they have not had significant impact on the computer industry.
Mercury is a new logic/
which combines the clarity and expressiveness of
with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
for a comparison of Mercury with the
of this page (last edited
February 16, 2012
with title or text search