Mercury is a functional logic programming language geared towards real-world applications. It was initially developed at the University of Melbourne Computer Science department under the supervision of Zoltan Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltan Somogyi and was released on April 8, 1995. Mercury is a purely declarative logic language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system.

Property Value
dbo:abstract
  • Mercury is a functional logic programming language geared towards real-world applications. It was initially developed at the University of Melbourne Computer Science department under the supervision of Zoltan Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltan Somogyi and was released on April 8, 1995. Mercury is a purely declarative logic language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system. The official implementation, the Melbourne Mercury Compiler, is available for most Unix platforms, including Mac OS X, as well as for Microsoft Windows. (en)
  • Mercury ist eine stark an Prolog angelehnte Programmiersprache. Sie vereint Elemente aus der funktionalen und der 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 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 Eingabe und Ausgabe. Dies macht die Programmierung sequentieller Algorithmen etwas unhandlich, erleichtert jedoch die 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 kompiliert statt interpretiert, wie es sonst bei logischen Programmiersprachen üblich ist, und realisiert ein fortgeschrittenes, striktes 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-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 Uniqueness types verwirklicht. Mercury verfügt über mehrere Backends wie „low-level C“ (das originale Mercury-Back-end), „high-level C“, Microsofts IL für .NET, Suns JVM und Assembler unter Verwendung des gcc-Back-ends, wobei die letzten drei Back-ends derzeit noch Alpha- oder Beta-Status haben. Mercury wird an der 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. (de)
  • Mercury es un lenguaje de programación lógico-funcional, es decir, integra "soluciones puras" y computación con información parcial. (es)
  • Mercury è un linguaggio di programmazione funzionale basato sul Prolog ma progettato per essere più utile in applicazioni reali (al di fuori dell'ambito accademico). È stato sviluppato all'Università di Melbourne sotto la supervisione di Zoltan Somogyi. Mercury è un linguaggio compilato, anziché interpretato come la maggior parte dei linguaggi funzionali. Inoltre, possiede un forte type-checking che, unito alle capacità di astrazione tipiche dei linguaggi funzionali, permette, stando agli autori, di scrivere programmi più rapidamente che con altri linguaggi più comuni. Infine, la struttura modulare di Mercury permette di separare i programmi in moduli auto-contenuti, un problema in molti linguaggi funzionali meno recenti. (it)
  • Mercury est un langage de programmation fonctionnel et surtout logique, développé à l'Université de Melbourne, Australie. Mercury est déclaratif. Il a été inspiré par Prolog (pour la partie logique) et, dans une moindre mesure, Haskell pour la partie fonctionnelle. Mercury a une syntaxe et un mode de fonctionnement proches du langage Prolog. Cependant, il permet l'addition de types et de modes qui guident le compilateur dans la génération de code efficace.Ceci a permis a ses auteurs d'appeler Mercury "Le langage de programmation logique le plus rapide du monde" . Mercury n'inclut pas le "cut" et les entrées-sorties de Prolog, car elles ne sont pas déclaratives.En Mercury, le code non déclaratif doit être explicitement marqué comme tel. Les entrées-sorties utilisent un système de types linéaire. Mission Critical IT , une société de services en ingénierie informatique (SSII) belge, utilise Mercury depuis 2000 dans des applications commerciales. (fr)
  • Mercury — язык функционально-логического программирования со строгой типизацией, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: 1. * проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа. 2. * проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика. Язык разработан в Мельбурнском университете. Первую версию выпустили Fergus Henderson, Thomas Conway и Zoltan Somogyi 8 апреля 1995 года. (ru)
  • Mercury to funkcyjny, logiczny język programowania skierowany w stronę tworzenia oprogramowania codziennego użytku. Mercury jest rozwijany na Uniwersytecie w Melbourne pod opieką Zoltána Somogyi'a. Pierwsza wersja ujrzała światło dzienne 8 kwietnia 1995 roku. Według autora jest to najszybszy język logiczny na świecie. (pl)
  • Mercury語言,是一种通用的编程语言。 (zh)
dbo:developer
dbo:influencedBy
dbo:latestReleaseDate
  • 2014-09-08 (xsd:date)
dbo:latestReleaseVersion
  • 14.01.1
dbo:license
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 19726 (xsd:integer)
dbo:wikiPageRevisionID
  • 739380439 (xsd:integer)
dbp:designer
  • Zoltan Somogyi
dbp:fileExt
  • .m
dbp:implementations
  • Melbourne Mercury Compiler
dbp:logo
dbp:operatingSystem
  • Cross-platform
dbp:paradigm
dbp:typing
dbp:wordnet_type
dbp:year
  • 1995 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdf:type
rdfs:comment
  • Mercury es un lenguaje de programación lógico-funcional, es decir, integra "soluciones puras" y computación con información parcial. (es)
  • Mercury to funkcyjny, logiczny język programowania skierowany w stronę tworzenia oprogramowania codziennego użytku. Mercury jest rozwijany na Uniwersytecie w Melbourne pod opieką Zoltána Somogyi'a. Pierwsza wersja ujrzała światło dzienne 8 kwietnia 1995 roku. Według autora jest to najszybszy język logiczny na świecie. (pl)
  • Mercury語言,是一种通用的编程语言。 (zh)
  • Mercury is a functional logic programming language geared towards real-world applications. It was initially developed at the University of Melbourne Computer Science department under the supervision of Zoltan Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltan Somogyi and was released on April 8, 1995. Mercury is a purely declarative logic language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system. (en)
  • Mercury ist eine stark an Prolog angelehnte Programmiersprache. Sie vereint Elemente aus der funktionalen und der logischen Programmierung. Die erste Version wurde von Fergus Henderson, Thomas Conway und Zoltan Somogyi entwickelt und am 8. April 1995 veröffentlicht. (de)
  • Mercury è un linguaggio di programmazione funzionale basato sul Prolog ma progettato per essere più utile in applicazioni reali (al di fuori dell'ambito accademico). È stato sviluppato all'Università di Melbourne sotto la supervisione di Zoltan Somogyi. (it)
  • Mercury est un langage de programmation fonctionnel et surtout logique, développé à l'Université de Melbourne, Australie. Mercury est déclaratif. Il a été inspiré par Prolog (pour la partie logique) et, dans une moindre mesure, Haskell pour la partie fonctionnelle. Mercury a une syntaxe et un mode de fonctionnement proches du langage Prolog. Cependant, il permet l'addition de types et de modes qui guident le compilateur dans la génération de code efficace.Ceci a permis a ses auteurs d'appeler Mercury "Le langage de programmation logique le plus rapide du monde" . (fr)
  • Mercury — язык функционально-логического программирования со строгой типизацией, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: Язык разработан в Мельбурнском университете. Первую версию выпустили Fergus Henderson, Thomas Conway и Zoltan Somogyi 8 апреля 1995 года. (ru)
rdfs:label
  • Mercury (programming language) (en)
  • Mercury (Programmiersprache) (de)
  • Mercury (lenguaje) (es)
  • Mercury (linguaggio) (it)
  • Mercury (langage) (fr)
  • Merkury (język programowania) (pl)
  • Mercury (язык программирования) (ru)
  • 墨丘利语言 (zh)
owl:differentFrom
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Mercury (en)
is dbo:influenced of
is dbo:programmingLanguage of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of