Mercury

Mercury ist eine allgemeine, rein funktionale Programmiersprache mit Schwerpunkt auf logischer Programmierung, die von Forschern der Universität von Melbourne entwickelt wurde. Es ist zwar möglich, Mercury-Programme ohne Kenntnisse der logischen Programmierung zu schreiben, aber die Sprache ist so konzipiert, dass sie die Programmierung im deklarativen Stil der logischen Programmierung unterstützt, bei der Programme als Spezifikationen dessen geschrieben werden, was das Programm tun soll, und nicht als eine Abfolge von Schritten, die zu befolgen sind. Mercury ist so konzipiert, dass es sowohl bei der Ausführungszeit als auch bei der Speichernutzung effizient ist. Erreicht wird dies durch strenge Typüberprüfung, statische Analyse und sorgfältige Kompilierung in nativen Code. Der Mercury-Compiler ist eine freie und quelloffene Software, die unter der GNU General Public License veröffentlicht wird.