Amélioration des programmes Prolog: Refactorisation pour Prolog