le cours est destiné aux étudiant de la 3ième année Licence Informatique, Option : Système d‟information
La programmation logique est une autre façon de penser la programmation. Elle est basée sur la description des objets, leurs propriétés sous forme de relations logiques. Ces descriptions forment une base de connaissances que l‟on peut interroger en posant des questions. Les réponses seront déterminées par l‟interpréteur sans que l'on ait à écrire une seule ligne de code pour expliquer à l'ordinateur comment arriver au résultat. PROLOG est le langage de programmation logique le plus puissant dans le domaine d‟IA. Il est basé sur le calcul des prédicats du premier ordre. L‟exécution d‟un programme PROLOG est effectivement une application du théorème prouvant par résolution du premier ordre.
Afin de mieux comprendre l‟enchaînement des concepts fondamentaux de ce cours, nous l‟avons organisé en huit (8) sections.