Mercury ist eine neue funktionale Programmiersprache, die die Klarheit und Ausdrucksstärke von deklarativer Programmierung mit fortgeschrittener statischer Analyse und Fehlererkennung kombiniert. Ihr hochoptimierter Ausführungsalgorithmus ist effizienter als bei anderen funktionalen Programmiersprachen und erreicht fast die Geschwindigkeit compilierter Sprachen. Mercury widmet sich den Problemen der Entwicklung großer Programme. Es ermöglicht Modularität, separate Compilierung und zahlreiche Einstellungen zu Optimierungen und Compile-Zeit. (non)