 |
< | Lundi 7 Juillet 2008 | > |
|
| |
< | Lundi 7 Juillet 2008 | > |
|
Prolog est l'un des principaux langages de programmation logique. Le nom Prolog est un acronyme de PROgrammation LOGique. Il a été créé par Alain Colmerauer et Philippe Roussel vers 1972. Le but était de faire un langage de programmation qui permettait d'utiliser l'expressivité de la logique au lieu de définir pas à pas la succession d'instructions que doit exécuter un ordinateur.
Prolog est utilisé dans de nombreux programmes d'intelligence artificielle et dans le traitement de la linguistique par ordinateur (surtout ceux concernant les langages naturels). Ses syntaxe et sémantique sont considérées comme très simples et claires (le but original était de procurer un outil pour les linguistes ignorant l'informatique). Beaucoup de recherches menant à l'implémentation actuelle de prolog vinrent des effets du projet pour les ordinateurs de la cinquième génération qui utilisaient comme base une variante.
Prolog est basé sur le calcul des prédicats du premier ordre ; cependant il est restreint à n'accepter que les clauses de Horn. 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.
Une des particularités de prolog est que l'on peut construire une base de connaissance dans un ordre indéterminé. Prolog résoudra ensuite des séries de problèmes logiques.
