Metraipolis › archive › dc_ee64b71c69ea

Prolog — Wikipedia (fr)

Source: Wikipedia (fr)
Original: https://fr.wikipedia.org/wiki/Prolog
License (as archived): CC-BY-SA-4.0
Archived: 2026-10-07T17:33:46.389Z
SHA-256 of the archived text: 2a41565fecf1246d171c4c774f725326a454a922d54c3b0c852b716b09fee807
Stable URL of this page: https://metraipolis.com/documento/dc_ee64b71c69ea

How to cite

Prolog — Wikipedia (fr) — Wikipedia (fr), https://fr.wikipedia.org/wiki/Prolog (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_ee64b71c69ea (Metraipolis archive dc_ee64b71c69ea, sha256 2a41565fecf1246d171c4c774f725326a454a922d54c3b0c852b716b09fee807)

BibTeX

@misc{dcee64b71c69ea,
  title = {Prolog — Wikipedia (fr)},
  howpublished = {Wikipedia (fr)},
  url = {https://fr.wikipedia.org/wiki/Prolog},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_ee64b71c69ea; sha256 2a41565fecf1246d171c4c774f725326a454a922d54c3b0c852b716b09fee807},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (fr), https://fr.wikipedia.org/wiki/Prolog. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Prolog est un langage de programmation logique. Le nom Prolog est un acronyme de PROgrammation en LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972 à Luminy, Marseille. Le but était de créer un langage de programmation où seraient définies les règles logiques attendues d'une solution et de laisser le compilateur la transformer en séquence d'instructions. L'un des gains attendus était une facilité accrue de maintenance des applications, l'ajout ou la suppression de règles au cours du temps n'obligeant pas à réexaminer toutes les autres. Prolog est utilisé en intelligence artificielle et dans le traitement linguistique par ordinateur (principalement langues naturelles). Ses règles de syntaxe et sa sémantique sont simples et considérées comme claires (un des objectifs poursuivis était de procurer un outil aux linguistes ignorant l’informatique). Les premiers résultats obtenus avec Prolog suscitèrent quelque temps, dans les années 1980, des recherches sur une cinquième génération, matérielle et logicielle, d'ordinateurs (nommée Cinquième génération japonaise en raison de l'engagement important du METI sur le projet). L'effort engagé fut important, les retombées plus modestes, Prolog restant un langage parmi d'autres dans la panoplie du programmeur. Prolog est basé sur le calcul des prédicats du premier ordre ; cependant il est restreint dans sa version initiale à n’accepter que les clauses de Horn (les versions modernes de Prolog acceptent des prédicats plus complexes, notamment avec le traitement de la négation par l'échec). L’exécution d’un programme Prolog est effectivement une application du théorème prouvant par résolution du premier ordre. Les concepts fondamentaux sont l’unification, la récursivité et le retour sur trace. L'algorithme de résolution de Prolog est basé sur une extension de la SLD-résolution. On peut construire en Prolog une base de connaissances dans un ordre indéterminé, puisque seules comptent les relations en présence et non leur séquence d'écriture. Prolog peut ensuite résoudre des séries de problèmes logiques relatifs à une telle base de connaissances (notion base de données déductive), problème similaire à la recherche d'une issue (ou plusieurs) dans un labyrinthe de contraintes établies.

Tema degli esploratori: statistica e scienza dei dati (deposito sistematico; ricerca «exploration de données»).
Fonte: Wikipedia in francese, voce «Prolog» — https://fr.wikipedia.org/wiki/Prolog
Wikidata Q163468 (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q163468
Autori: i contributori di Wikipedia (cronologia: https://fr.wikipedia.org/wiki/Prolog?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 233388469, consultata il 2026-10-07T17:04:05.362Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: 8258f41bdb39371c00aa21f1afad644d375bccf7fcaf61ee5f2bf99e0d57d4d5