La programmation logique: un outil pour l'aide à la formulation du raisonnement.