родитель("Михаил","Алексей").
родитель("Евдокия","Алексей").

родитель("Алексей","Феодор").
родитель("Алексей","Софья").
родитель("Алексей","Иоанн").
родитель("Мария","Феодор").
родитель("Мария","Софья").
родитель("Мария","Иоанн").

родитель("Алексей","Петр").
родитель("Наталья","Петр").

родитель("Петр","Анна").
родитель("Петр","Елизавета").

родитель("Екатерина","Анна").
родитель("Екатерина","Елизавета").

мужчина("Михаил").
мужчина("Алексей").
мужчина("Феодор").
мужчина("Петр").
мужчина("Иоанн").

женщина("Евдокия").
женщина("Мария").
женщина("Софья").
женщина("Наталья").
женщина("Екатерина").
женщина("Анна").
женщина("Елизавета").

мать(Кто, Кого):-родитель(Кто, Кого), женщина(Кто).
отец(Кто, Кого):-родитель(Кто, Кого), мужчина(Кто).
сын(Кто, Кого):-родитель(Кто, Кого), мужчина(Кого).
дочь(Кто, Кого):-родитель(Кто, Кого), женщина(Кого).
дед(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), мужчина(Прародитель).

бабушка(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), женщина(Прародитель).
брат(Брат, Кого):-родитель(Родитель, Брат), родитель(Родитель, Кого), мужчина(Брат), мужчина(Родитель).
племянница(Племянница, Кого):-родитель(Родитель, Кого), родитель(Родитель, РодПлем), мужчина(Родитель), родитель(РодПлем, Племянница), женщина(Племянница).