Programmation Logique
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.
1.Cours:
-------------------------------------------------------------------
Télécharger Chapitre1 Programmation Logique : ICI -------------------------------------------------------------------
Télécharger Chapitre2 Programmation Logique : ICI -------------------------------------------------------------------
Télécharger Chapitre3 Programmation Logique : ICI -------------------------------------------------------------------
Télécharger Chapitre4 Programmation Logique : ICI -------------------------------------------------------------------
Télécharger Chapitre5 Programmation Logique : ICI -------------------------------------------------------------------
2.Résumé:
-----------------------------------------------------------------
Télécharger Résumé1 Programmation Logique : ICI -----------------------------------------------------------------
3.Examens Corrigés:
------------------------------------------------------------------
Télécharger Examen1 Programmation Logique : EX1-CORR ------------------------------------------------------------------
Télécharger Examen2 Programmation Logique : EX2-CORR ------------------------------------------------------------------
Télécharger Examen3 Programmation Logique : ICI ------------------------------------------------------------------
Télécharger Examen4 Programmation Logique : ICI ------------------------------------------------------------------
Télécharger Examen5 Programmation Logique : ICI ------------------------------------------------------------------
