Mercury programming language

Mercury is a logical programming languages 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 languages]?, it has a sophisticated, strict type? and mode system which, when combined with the abstract nature of logic programming, makes it easy to write reliable programs. 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]?.