Examens corriges

Logique et Programmation Logique

Exercice 1 : résolution (8 points). On veut formaliser un tournoi de tennis en utilisant la logique des prédicats. Pour cela, on introduit.





Télécharger