Inférence en logique du premier ordre Chap. 9. Plan Réduire linférence de la logique du premier ordre en celle de la logique propositionnelle Unification.