Introduction
En ajoutant la négation au calcul conjonctif, on obtient le calcul relationnel, qui est essentiellement le calcul des prédicats du premier ordre (sans symbole de fonction). On a un problème : celui de garantir des résultats finis.
On donnera ici une interprétation particulière simplificatrice : l'interprétation dans le domaine actif ; et nous envisagerons ensuite des interprétations plus riches.
A la fin de cette section, 3 exercices vous permettront de vous tester en « auto-évaluation ». Ces exercices sont accompagnés de leur solution, parfois précédée d'une indication. Jouez le jeu et retenez-vous de consulter l'indication et surtout la solution trop tôt !