Analyse des inférences récursives en PROLOG — Sophie Pelhat