Les bases de Prolog IV

Par Alain Colmerauer (Home Page)
 

I. Plan

• 1. Introduction
• 2. Syntaxe et sémantique
• 3. La structure de base pi₄
• 4. Axiomatisation de pi₄
• 5. Structures enrichies
• 6. Exemples de programmes en Prolog IV

II. Téléchargement