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" .

Property Value
dbo:abstract
  • 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. (fr)
  • 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. (fr)
dbo:developer
dbo:influencedBy
dbo:license
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 6689351 (xsd:integer)
dbo:wikiPageLength
  • 3656 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 179819476 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:auteur
  • Zoltan Somogyi (fr)
  • Zoltan Somogyi (fr)
prop-fr:couleurBoîte
  • 6 (xsd:integer)
prop-fr:dateDeDernièreVersion
  • 2020-06-20 (xsd:date)
prop-fr:dernièreVersion
  • 20.060000 (xsd:double)
prop-fr:influencéPar
prop-fr:logo
  • Mercurylogo.png (fr)
  • Mercurylogo.png (fr)
prop-fr:paradigmes
prop-fr:siteWeb
prop-fr:systèmeD'exploitation
prop-fr:typage
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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 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)
rdfs:label
  • Mercury (ca)
  • Mercury (Programmiersprache) (de)
  • Mercury (langage) (fr)
  • Mercury (linguaggio) (it)
  • Mercury (programming language) (en)
  • Merkury (język programowania) (pl)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
foaf:page
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of