| dbpprop:abstract
|
- Mercury is a functional logic programming language geared towards real-world applications. It is developed at the University Of Melbourne Computer Science department under the supervision of Zoltán Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltán Somogyi and was released on April 8, 1995. Mercury is a purely declarative logic language based on Prolog. 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, and Microsoft Windows (in Windows, it requires one of the Cygwin or MinGW toolsets, and can be compiled either with GCC or Microsoft Visual C++). Despite having no official release since 2006, Mercury is still under active development as of 2009, and a new "unstable" release is made automatically each day.
- 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. Die aktuelle stabile Version 0.13.1 erschien am 1. Dezember 2006. 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 Back-ends 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. Hello World in Mercury: :- 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). .
- 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 Zoltan Somogyi. La primera versió va ésser desenvolupada per Fergus Henderson, Thomas Conway i Zoltan Somogyi i va ser editada l'Abril de 1995. Mercury té diverses característiques adreçades a una millor enginyeria de software. És compilat i no interpretat. Presenta un sofisticat i estricte sistema de tipus i modes. Els seus autors proclamen que aquestes característiques, combinades amb la natura abstracta de la programació lògica i la divisió en mòduls, faciliten l'escriptura ràpida de programes fiables. Mercury és més pur i més declaratiu que Prolog, car no té les instruccions extra-lògiques de Prolog tal com "cut" (que evita el "backtracking") i la entrada/sortida imperativa. Això permet una millor optimització dels programes però fa que la codificació d'algorismes seqüencials sigui més complicada. Degut a les optimitzacions, els programes escrits en Mercury són significativament més ràpids que els equivalents escrits en Prolog. Mercury està disponible per a la majoria de plataformes Unix, Mac OS X, i MS-Windows. Programes notables escrits en Mercury inclouen el compilador Mercury, la base de dades deductiva Aditi i el programa de formateig Prince XML.
- 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.
- 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.
- Mercury — язык логического программирования, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: проблема производительности. Современные реализации языков логического программирования по производительности уступают реализациям языков программирования императивного типа. проблема отладки. Реализации языков логического программирования осуществляют меньше проверок во время компиляции, чем реализации языков программирования императивного типа. Это вынуждает программиста находить ошибки самому и без какой-либо существенной помощи со стороны отладчика. Компилятор языка Mercury написан на самом языке. До того как компилятор Mercury смог скомпилировать себя сам, был использован язык Prolog.
|
| rdfs:comment
|
- Mercury is a functional logic programming language geared towards real-world applications. It is developed at the University Of Melbourne Computer Science department under the supervision of Zoltán Somogyi. The first version was developed by Fergus Henderson, Thomas Conway and Zoltán Somogyi and was released on April 8, 1995. Mercury is a purely declarative logic language based on Prolog. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system.
- 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. Die aktuelle stabile Version 0.13.1 erschien am 1. Dezember 2006.
- 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 Zoltan Somogyi. La primera versió va ésser desenvolupada per Fergus Henderson, Thomas Conway i Zoltan Somogyi i va ser editada l'Abril de 1995. Mercury té diverses característiques adreçades a una millor enginyeria de software. És compilat i no interpretat. Presenta un sofisticat i estricte sistema de tipus i modes.
- 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.
- 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.
- Mercury — язык логического программирования, призванный решить следующие две проблемы, которые возникают при использовании классического языка логического программирования Prolog: проблема производительности.
|
![[RDF Data]](/statics/sw-cube.png)
