*Homepage:* http://www.cs.mu.oz.au/research/mercury

Mercury is a logic programming language with a high-performance compiler.

----
CategoryLanguage