Best viewed in 24pt and full-screen

Table des matières

• Mise en uvre et application de Prolog
  • Introduction
  • La recherche en programmation
    • Langage et discipline de programmation
    • Langage et machine - abstraite ou concrète
    • Langage et méthode
  • Prolog
    • Notations
    • Prolog - clauses de Horn et programmation logique
    • Une extension de Prolog ?
    • La métaprogrammation
    • Métaprogrammation en Prolog et Prolog
    • Manipuler les expressions dans leur contexte
    • Les formules héréditaires de Harrop
  • Implémentation
    • Étendre la
    • S´appuyer sur un modèle général
    • Le rôle des combinateurs
    • Le rôle de la -équivalence
    • Un système ouvert
    • Autres systèmes Prolog
  • Prolog et grammaires formelles
    • Prolog et grammaires logiques
    • Transformations de grammaires en Prolog
  • Applications
    • Technologie mixte
    • Des démonstrateurs enfouis
    • Manipulation de formules
  • Typage
    • Un état des lieux
    • Typage polymorphe paramétrique
    • Verbosité du typage polymorphe paramétrique
  • Prospective
    • Implémentation
    • Transformations de grammaires et de programmes
    • Fragments décidables
    • Preuve et calcul
    • Structures relationnelles
• Lexique des notions communes
  • Notations
    • Abréviations
    • Symboles
    • Exemples de programme
  • A-Z
    • A
    • B
    • C
    • D
    • E
    • F
    • G
    • H
    • I-J-K
    • L
    • M
    • N
    • O
    • P
    • Q
    • R
    • S
    • T
    • U
    • V-W
    • X-Y-Z
• Remerciements
• Références
• À propos de ce document...