Les bases de Prolog IV

• 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

Téléchargez l'article au format pdf