Langage Prolog

Support de cours sur la programmation fonctionnelle et logique (Prolog)

Plan de formation

• I. La programmation logique
  • I.1. Un mode de programmation à part 
    • I.1.1. Les autres modes de programmation
    • I.1.2. La programmation logique
    • I.1.3. La programmation orientée objet
  • I.2. Constitution d’un programme PROLOG 
    • I.2.1. Les faits
    • I.2.2. Les règles
    • I.2.3. Les conventions de SWI-PROLOG©
• II. Utilisations de PROLOG
  • II.1. Interrogation de bases de données relationnelles 
    • II.1.1. Programmation de la base de données
    • II.1.2. Interrogation de la base de données
  • II.2. Formalisation de systèmes experts
    • II.2.1. PROLOG et les systèmes experts
    • II.2.2. Constitution de la base de connaissance
    • II.2.3. Mise en place des règles de décision
  • II.3. Calculs
    • II.3.1. Utilisation d’une pile
    • II.3.2. Appel récursif terminal
    • II.3.3. Valeur approchée
  • II.4. Représentation spécialisée de nombres 
    • II.4.1. Définition d’un système numérique
    • II.4.2. Définition d’opérateurs
• III. La recherche de solution 
  • III.1. L’unification
    • III.1.1. Termes
    • III.1.2. Substitutions
    • III.1.3. Unification
  • III.2. Exécution d’un programme PROLOG 
    • III.2.1. L’interactivité par les requêtes
    • III.2.2. La recherche de preuves par l’unification
• IV. Conclusion