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

Property Value
dbo:abstract
  • Mercury és un llenguatge de programació lògic-funcional dirigit a aplicacions del món real. Està desenvolupat a la Universitat de Melbourne sota la supervisió de . La primera versió va ésser desenvolupada per , i i va ser editada l'abril del 1995. (ca)
  • Mercury je programovací jazyk, podporující logické a funkcionální programování. (cs)
  • Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995. Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and a strong mode and determinism system. The official implementation, the Melbourne Mercury Compiler, is available for most Unix and Unix-like platforms, including Linux, macOS, and for 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 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 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 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 è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato. 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 . Mercury è un linguaggio compilato, anziché interpretato come la maggior parte dei linguaggi funzionali. Inoltre, possiede un forte 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)는 함수·논리형 언어이다. 멜버린 대학교의 컴퓨터 과학부에서 개발하였으며, 1995년도에 처음 공개되었다. 머큐리는 순수 선언형 언어로 프롤로그와 하스켈의 영향을 받았으며, 구현체인 멜버른 머큐리 컴파일러는 다양한 플랫폼에서 동작할 수 있을 뿐만 아니라 여러 백엔드도 지원한다. 언어적으로 강적·정적·다형적 형 시스템이며, 프롤로그를 기반으로 하고 있으면서 기본 개념을 공유하고 있기 때문에 문법에 있어서 언어 특성에 따른 부분을 제외하고는 많은 부분이 비슷하게 보인다. (ko)
  • Mercury – 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 — язык функционально-логического программирования со строгой типизацией, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: 1. * проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа. 2. * проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика. Язык разработан в Мельбурнском университете. Первую версию выпустили Fergus Henderson, Thomas Conway и Zoltan Somogyi 8 апреля 1995 года. (ru)
  • Mercury語言,是一种通用的编程语言。 (zh)
dbo:developer
dbo:influencedBy
dbo:latestReleaseDate
  • 2020-06-30 (xsd:date)
dbo:latestReleaseVersion
  • 20.06
dbo:license
dbo:releaseDate
  • 1995-04-08 (xsd:date)
dbo:wikiPageID
  • 19726 (xsd:integer)
dbo:wikiPageLength
  • 10083 (xsd:integer)
dbo:wikiPageRevisionID
  • 971980291 (xsd:integer)
dbo:wikiPageWikiLink
dbp:designer
  • Zoltan Somogyi (en)
dbp:developer
dbp:fileExt
  • .m (en)
dbp:implementations
  • Melbourne Mercury Compiler (en)
dbp:influencedBy
dbp:latestReleaseDate
  • 2020-06-30 (xsd:date)
dbp:latestReleaseVersion
  • 20.060000 (xsd:double)
dbp:license
  • GPL compiler, (en)
  • LGPL standard library (en)
dbp:logo
  • Mercury logo.jpg (en)
dbp:name
  • Mercury (en)
dbp:operatingSystem
dbp:paradigm
dbp:platform
dbp:programmingLanguage
  • Mercury (en)
dbp:released
  • 1995-04-08 (xsd:date)
dbp:typing
dbp:wikiPageUsesTemplate
dbp:wordnet_type
dct:subject
rdf:type
rdfs:comment
  • Mercury és un llenguatge de programació lògic-funcional dirigit a aplicacions del món real. Està desenvolupat a la Universitat de Melbourne sota la supervisió de . La primera versió va ésser desenvolupada per , i i va ser editada l'abril del 1995. (ca)
  • Mercury je programovací jazyk, podporující logické a funkcionální programování. (cs)
  • Mercury es un lenguaje de programación lógico-funcional, es decir, integra "soluciones puras" y computación con información parcial.​ (es)
  • 머큐리(Mercury)는 함수·논리형 언어이다. 멜버린 대학교의 컴퓨터 과학부에서 개발하였으며, 1995년도에 처음 공개되었다. 머큐리는 순수 선언형 언어로 프롤로그와 하스켈의 영향을 받았으며, 구현체인 멜버른 머큐리 컴파일러는 다양한 플랫폼에서 동작할 수 있을 뿐만 아니라 여러 백엔드도 지원한다. 언어적으로 강적·정적·다형적 형 시스템이며, 프롤로그를 기반으로 하고 있으면서 기본 개념을 공유하고 있기 때문에 문법에 있어서 언어 특성에 따른 부분을 제외하고는 많은 부분이 비슷하게 보인다. (ko)
  • Mercury – 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 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 is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995. Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and a strong mode and determinism system. (en)
  • 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 è un linguaggio di programmazione appartenente al paradigma di programmazione logica, e non funzionale come spesso viene erroneamente considerato. 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 . (it)
  • Mercury — язык функционально-логического программирования со строгой типизацией, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: Язык разработан в Мельбурнском университете. Первую версию выпустили Fergus Henderson, Thomas Conway и Zoltan Somogyi 8 апреля 1995 года. (ru)
rdfs:label
  • Mercury (ca)
  • Mercury (programovací jazyk) (cs)
  • Mercury (Programmiersprache) (de)
  • Mercury (programming language) (en)
  • Mercury (lenguaje) (es)
  • Mercury (langage) (fr)
  • Mercury (linguaggio) (it)
  • 머큐리 (프로그래밍 언어) (ko)
  • 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 dbo:wikiPageWikiLink of
is dbp:influenced of
is dbp:programmingLanguage of
is foaf:primaryTopic of