Prolog, langage de programmation.

Prolog, langage de programmation. Son nom fait référence à la programmation en logique. Historique. La programmation en logique est née de la convergence entre deux courants de recherche : le traitement automatique des langages « naturels » ou artificiels et la démonstration automatique de théorèmes. Les premiers programmes de démonstration de théorèmes étaient très limités, car ils parcouraient l'espace des preuves possibles de manière exhaustive. La percée décisive fut la découverte en 1965 de l'algorithme d'unification et du principe de résolution. La résolution fut utilisée, entre autres, pour des travaux d'informatique linguistique. Alain Colmerauer prit connaissance de ces travaux en 1970, à l'époque où il développait un système à base de règles pour manipuler le langage « naturel ». Il inventa Prolog pour représenter ces règles. Robert Kowalski, à Édimbourg, nota que l'exécution d'un programme Prolog pouvait être interprétée comme une démonstration de théorèmes fondée sur la résolution linéaire des clauses de Horn. Ces différents travaux forment les bases de la programmation logique. Les principes. Le fondement théorique de Prolog est le calcul des prédicats, ou logique du premier ordre (limitée aux prédicats simples). En fait, le langage est une notation informatique des prédicats (comme Lisp est une notation pour les formes du ^-calcul) ; l'utilisation consiste à proposer des questions que le système cherche à résoudre en explorant l'espace des prédicats disponibles. La logique du premier ordre est un outil élémentaire, et l'expression de problèmes complexes (comme ceux de l'arithmétique) devient vite très lourde. Néanmoins, adopté en 1981 par les responsables du projet japonais d'ordinateur de la cinquième génération, Prolog a connu un certain succès à partir des années quatre-vingt. Des auteurs de systèmes experts l'utilisent surtout pour noter des bases de connaissances, qui sont ensuite balayées par des moteurs à inférence 0. Prolog est maintenant disponible sur les micro-ordinateurs les plus courants et figure au programme de programmation logique de nombreux cursus universitaires. Complétez votre recherche en consultant : Les corrélats Colmerauer Alain informatique - Histoire de l'informatique - Ordinateurs et informatique - L'histoire des langages informatique - La science informatique - La linguistique de la programmation