/* enfant_parent(Enfant,Parent) est vrai si Enfant est un enfant de Parent */
enfant_parent(Enfant,Parent) :- enfant_parents(Enfant,Parent,_).
enfant_parent(Enfant,Parent) :- enfant_parents(Enfant,_,Parent).

/* enfant_pere(Enfant,Pere) est vrai si Pere est pere de Enfant */
enfant_pere(Enfant,Pere) :- homme(Pere), enfant_parent(Enfant,Pere).

/* enfant_mere(Mere,Enfant) est vrai si Mere est mere de Enfant */
enfant_mere(Enfant,Mere) :- femme(Mere), enfant_parent(Enfant,Mere).

/* petitEnfant_grandPere(PetitEnfant,GrandPere) vrai si GrandPere est grand-pere de PetitEnfant */
petitEnfant_grandPere(PetitEnfant,GrandPere) :- enfant_pere(Parent,GrandPere), enfant_pere(PetitEnfant,Parent).
petitEnfant_grandPere(PetitEnfant,GrandPere) :- enfant_pere(Parent,GrandPere), enfant_mere(PetitEnfant,Parent).

/* petitEnfant_grandMere(PetitEnfant,GrandMere) vrai si GrandMere est grand-mere de PetitEnfant */
petitEnfant_grandMere(PetitEnfant,GrandMere) :- enfant_mere(Parent,GrandMere), enfant_pere(PetitEnfant,Parent).
petitEnfant_grandMere(PetitEnfant,GrandMere) :- enfant_mere(Parent,GrandMere), enfant_mere(PetitEnfant,Parent).