% Termes construitsid(le_pere(X), P) :- pere(P, X).id(la_fille(X, Y), F) :- pere(X, F), mere(Y, F), fem(F).