Description:
La programmation logique est le fruit des recherches menées par R. Kowalski et A. Colmerauer sur un sous ensemble de la logique des prédicats du premier ordre à savoir les clauses de Horn. On s’intéresse dans ce cours au Prolog, qui est le langage le plus connu parmi les langages de programmation logique. Il a été créé dans le but de faire un langage de programmation qui permettait d'utiliser l'expressivité de la logique au lieu de définir la séquence d'instructions que doit exécuter un ordinateur.
Programmer en Prolog consiste donc à déclarer des faits sur des objets de l’univers, d’énoncer des règles de raisonnement se basant sur ces objets, et enfin poser des questions sur ces objets et ces règles afin de déduire des connaissances implicites à partir des connaissances explicites.

Public cible :
3eme année Licence, spécialité Systèmes Informatiques

Les objectifs :
A la fin de ce cours, l'étudiant doit être capable de :
- Connaître les principes sur lesquels repose le nouveau paradigme de programmation logique.
- Comprendre les types de problèmes dont ce paradigme de programmation facilite l'approche.
- Programmer des algorithmes de base (avec listes, arithmétique, coupure) en programmation logique.
Modéliser un problème en Prolog.