refactoring prolog. Ajout de PrologHelper