Développement d'un système expert pour le raisonnement logique