Cours Programmation Logique PDF
La programmation logique est née de la découverte qu'une partie du calcul des prédicats de la logique mathématique pouvait servir de support théorique à un langage
de programmation. Le développement du premier langage logique appelé PROLOG
(ce nom a été choisi par Philippe Roussel comme abréviation de Programmation
en Logique) a commencé en 1972 par l'équipe d'Intelligence Artificielle dirigée par
A. Colmerawer à l'Université de Marseille, U.E.R de Luminy, ceci bien sûr en se basant sur les idées développées par Robinson (1966) et Herbrand (1936) en logique
mathématique. Prolog est le langage le plus connu du style déclaratif. Il est le résultat d'un mariage réussi entre le raisonnement automatique et le traitement du
langage naturel. En 1980, Prolog est reconnu comme un langage de développement
en intelligence artificielle. Depuis, plusieurs interpréteurs (il existe aussi des versions
compilées) PROLOG ont été proposés et parfois avec des syntaxes différentes.
Cours 1:
-----------------------------------------------------------------------------
Télécharger PDF 1: Chapitre1 Programmation Logique : ICI
-----------------------------------------------------------------------------
Télécharger PDF 2: Chapitre2 Programmation Logique : ICI
-----------------------------------------------------------------------------
Télécharger PDF 3: Chapitre3 Programmation Logique : ICI
-----------------------------------------------------------------------------
Télécharger PDF 4: Chapitre4 Programmation Logique : ICI
-----------------------------------------------------------------------------
Télécharger PDF 5: Chapitre5 Programmation Logique : ICI
-----------------------------------------------------------------------------
Cours 2:
-------------------------------------------------------------------------
Télécharger PDF 1: Cours2 Programmation Logique : ICI
-------------------------------------------------------------------------
Voire Aussi les modules de la même Semestre: