imported>Derkoenig: lf

2026-04-11T22:13:50Z

Neue Seite

{{Infobox Software
|Name = Mercury
|Logo =
|Screenshot =
|Beschreibung = funktional-logische Programmiersprache
|Maintainer = [[Zoltan Somogyi|Zoltán Somogyi]]
|Hersteller = [[University of Melbourne|Universität Melbourne]]
|Erscheinungsjahr =
|AktuelleVersion =
|AktuelleVersionFreigabeDatum =
|AktuelleVorabVersion =
|AktuelleVorabVersionFreigabeDatum =
|Betriebssystem = [[plattformunabhängig]]
|Programmiersprache =
|Kategorie = [[Programmiersprache]]
|Lizenz = Compiler: [[GNU General Public License|GPL]], Bibliothek: [[GNU Lesser General Public License|LGPL]]
|Deutsch =
|Website = [https://mercurylang.org/ www.mercurylang.org]
|Dateien =
}}

'''Mercury''' ist eine stark an [[Prolog (Programmiersprache)|Prolog]] angelehnte [[Programmiersprache]]. Sie vereint Elemente aus der [[Funktionale Programmierung|funktionalen]] und der [[Logische Programmierung|logischen]] Programmierung. Die erste Version wurde von Fergus Henderson, Thomas Conway und Zoltan Somogyi entwickelt und am 8. April 1995 veröffentlicht.

Mercury ist eine „reinere“, und damit stärker [[Deklarative Sprache|deklarative]] Sprache als Prolog, weil es im Gegensatz zu Prolog keine „nicht-logischen“ Eigenschaften hat, wie den Cut-Operator (ein Prolog-Konstrukt, das [[Backtracking]] verhindert) oder [[Imperative Programmierung|imperative]] [[Eingabe und Ausgabe]]. Dies macht die Programmierung sequentieller Algorithmen etwas unhandlich, erleichtert jedoch die [[Compiler#Programmoptimierung (ausführlich)|Optimierung]] der Programme. Damit kann deutlich schnellerer Code erzeugt werden, als es mit Prolog möglich ist.

Mercury hat einige Eigenschaften für eine bessere [[Softwaretechnik]], es wird [[Compiler|kompiliert]] statt [[Interpreter|interpretiert]], wie es sonst bei logischen Programmiersprachen üblich ist, und realisiert ein fortgeschrittenes, striktes [[Datentyp|Typ-]] und  Mode-System. Die Autoren behaupten, diese Eigenschaften, zusammen mit der abstrakten Natur der logischen Programmierung, beschleunigten die Erstellung zuverlässiger Programme. Mercurys [[Modul (Software)|Modul]]-System ermöglicht die Unterteilung in abgeschlossene Einheiten, was in der Vergangenheit ein Problem logischer Programmierung darstellte. (Wobei einige Prolog-Implementierungen ebenfalls ein Modul-System einführten.)
[[Ein- und Ausgabe]] wird durch [[Wegwerftyp|Uniqueness types]] verwirklicht.

Mercury verfügt über mehrere [[Frontend und Backend|Backends]] wie „low-level [[C (Programmiersprache)|C]]“ (das originale Mercury-Back-end), „high-level C“, Microsofts [[Intermediate language|IL]] für das [[.Net-Framework]], Suns [[Java Virtual Machine|JVM]] und [[Assemblersprache|Assembler]] unter Verwendung des [[GNU Compiler Collection|gcc]]-Back-ends, wobei die letzten drei Back-ends derzeit noch Alpha- oder Beta-Status haben. Mercury wird an der [[University of Melbourne|Universität Melbourne]] unter der Leitung von [[Zoltan Somogyi]] entwickelt und ist für die meisten [[Unix]]-Plattformen, für [[Mac OS X]] und mit Hilfe von [[Cygwin]] und [[MinGW]] auch für [[Microsoft Windows]] verfügbar.

== Beispielprogramm in Mercury ==

[[Hallo-Welt-Programm]]:
<syntaxhighlight lang="Prolog">
:- module hello.

:- interface.

:- import_module io.

:- pred main(io.state, io.state).
:- mode main(di, uo) is det.

:- implementation.

main(!IO) :-
io.write_string("Hello, World!\n", !IO).
</syntaxhighlight>

(nach Ralph Beckets<ref>[https://mercurylang.org/documentation/papers/book.pdf Mercury tutorial] (PDF; 239 kB)</ref>)

== Weblinks ==
* [https://mercurylang.org/ Offizielle Website]

== Einzelnachweise ==
<references />

[[Kategorie:Logische Programmiersprache]]

Mercury (Programmiersprache) - Versionsgeschichte

imported>Derkoenig: lf