man('Адам').

man('Каин').

man('Авель').

man('Майкл').

man('Мухаммед').

man('Альберт').

man('Эрнест').

man('Ганнибал').

man('Александр').

man('Филипп').

woman('Ева').

woman('Мадонна').

woman('Мария').

woman('Алиса').

woman('Мэри').

woman('Диана').

woman('Сара').

woman('Барбара').

woman('Роза').

woman('Алла').

woman('Кристина').

woman('Марианна').

parent('Адам','Каин').

parent('Адам','Авель').

parent('Адам','Сара').

parent('Мухаммед','Мэри').

parent('Мухаммед','Майкл').

parent('Каин','Алиса').

parent('Каин','Диана').

parent('Каин','Мадонна').

parent('Майкл','Барбара').

parent('Майкл','Роза').

parent('Майкл','Филипп').

parent('Филипп','Кристина').

parent('Ганнибал','Александр').

parent('Александр','Эрнест').

parent('Александр','Альберт').

parent('Альберт','Марианна').

parent('Ева','Каин').

parent('Ева','Авель').

parent('Ева','Сара').

parent('Сара','Мэри').

parent('Сара','Майкл').

parent('Мария','Алиса').

parent('Мария','Диана').

parent('Мария','Мадонна').

parent('Мадонна','Барбара').

parent('Мадонна','Роза').

parent('Мадонна','Филипп').

parent('Алла','Кристина').

parent('Диана','Александр').

parent('Барбара','Эрнест').

parent('Барбара','Альберт').

parent('Кристина','Марианна').

% внучка

vnuchka(X,Y):-woman(X), parent(F,X), parent(Y,F).