Programmation Logique

La programmation logique est un type de paradigme de programmation qui est en grande partie basée sur la logique formelle. Tout programme écrit dans un langage de programmation logique est un ensemble de phrases sous forme logique, exprimant des faits et des règles concernant un domaine problématique.

La base de règle a pour but d’exploiter la base de faits considérés comme vrais pour déduire ou inférer de nouveau faits vrais.

Le langage de programmation logique (PROLOG) considéré comme langage de développement en intelligence artificielle et développé en 1972 par l'équipe d'Intelligence Artificielle de l'Université de Marseille, sera abordé en dernière étape.

Le langage de programmation Prolog est très différent des langages classiques. Il est plus évolué et permet d'exprimer de façon naturelle les textes du langage naturel.  Son principe est d’énoncer une suite de faits et de règles de déduction pour poser des questions (appelées aussi buts).

Il est très adapté au traitement du langage naturel, des systèmes experts et des systèmes à base de connaissances.