About: Mercury (programming language)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : umbel-rc:Scientist, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FMercury_%28programming_language%29

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.

AttributesValues
rdf:type
rdfs:label
  • ميركوري (لغة برمجة) (ar)
  • Mercury (ca)
  • Mercury (programovací jazyk) (cs)
  • Mercury (Programmiersprache) (de)
  • Mercury (lenguaje) (es)
  • Mercury (langage) (fr)
  • Mercury (linguaggio) (it)
  • Mercury (programming language) (en)
  • 머큐리 (프로그래밍 언어) (ko)
  • Merkury (język programowania) (pl)
  • Mercury (язык программирования) (ru)
  • Mercury (编程语言) (zh)
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) هي لغة برمجة منطقية وظيفية صنعت لحل مشكلات العالم الحقيقي. أول نسخة من اللغة تم تطويرها في قسم كلية علوم الحاسوب في جامعة ملبورن عن طريق فيرغوس هينديرسون، ثوماس كونواي، وزولتان سوموغيي، تحت اشراف سوموغيي، وتم اصدارها بتاريخ 8 أبريل سنة 1995. ميركوري هي لغة برمجية منطقية تقريرية فقط. وهي متعلقة بلغات برولوغ وهاسكل وهي تتميز بنظام قوي، ثابت، متعدد الاشكال ونمط قوي ونظام تقريري. التنفيذ الرسمي للغة، مترجم ملبورن ميركوري متوافر لأنظمة تشغيل ينكس والمشابها لها من ضمنها نظام تشغيل ويندوز، لينكس وانظمة تشغيل ماكينتوش.. (ar)
  • 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是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的,并在1995年4月8日发行。 Mercury是纯声明式逻辑编程语言。它有关于Prolog和Haskell二者。它的特征是有强、静态、多态类型系统,和强的模态(mode)和确定性系统。 官方实现是墨尔本Mercury编译器,可以在多数Unix和类Unix平台上获得到,包括Linux、macOS和Windows。 (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 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 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 è 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)
differentFrom
foaf:homepage
name
  • Mercury (en)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Mercury_(programming_language)_logo.jpg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software