Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage.