Prolog - Définition et Explications

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Implémentations

  • Amzi! Prolog
  • B-Prolog
  • Ciao Prolog
  • GNU Prolog, développé par l'INRIA
  • Open Prolog
  • Prolog.NET, développé à l'Institut de Technologie de l'Oregon
  • Qu-Prolog, un prolog (Prolog est l’un des principaux langages de programmation logique inventé à l'I.N.S.E.A.. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé...) multithread développé par l'Université (Une université est un établissement d'enseignement supérieur dont l'objectif est la production du savoir (recherche), sa conservation et sa transmission (études supérieures)....) du Queensland
  • Quintus Prolog, développé par le Swedish Institute for Computer Science (La science (latin scientia, « connaissance ») est, d'après le dictionnaire Le Robert, « Ce que l'on sait pour l'avoir appris, ce que l'on tient pour vrai au sens...)
  • Rebol Prolog
  • SICStus Prolog, développé par le Swedish Institute for Computer Science
  • Strawberry Prolog
  • SWI Prolog, développé par l'Université d'Amsterdam
  • TuProlog
  • Visual Prolog
  • http://xsb.sourceforge.net/ XSB
  • YAP Prolog, développé par l'université de Porto
  • Squeak Prolog Un Prolog intégré à Smalltalk dans l'environnement (L'environnement est tout ce qui nous entoure. C'est l'ensemble des éléments naturels et artificiels au sein duquel se déroule la vie humaine. Avec les enjeux écologiques actuels, le terme environnement tend actuellement à...) Squeak, issu du Prolog intégré à Smalltalk/V. Syntaxe non standard mais permet de mêler programmation (La programmation dans le domaine informatique est l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante de la conception de logiciel (voire de matériel, cf. VHDL).) objet (De manière générale, le mot objet (du latin objectum, 1361) désigne une entité définie dans un espace à trois dimensions, qui a une fonction précise, et qui peut être désigné par une étiquette verbale. Il est...) impérative (Smalltalk) et logique (La logique (du grec logikê, dérivé de logos (λόγος), terme inventé par Xénocrate signifiant à la fois raison, langage, et...) (Prolog). Smalltalk peut poser des questions à Prolog et Prolog peut exécuter des ordres Smalltalk.
Page générée en 0.311 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique