Иванов МОИИ

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

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

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

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

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

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

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

мать(Кто, Кого):-родитель(Кто, Кого), женщина(Кто).
отец(Кто, Кого):-родитель(Кто, Кого), мужчина(Кто).
сын(Кто, Кого):-родитель(Кто, Кого), мужчина(Кого).
дочь(Кто, Кого):-родитель(Кто, Кого), женщина(Кого).
дед(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), мужчина(Прародитель).
бабушка(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), женщина(Прародитель).
племянница(Племянница, Кого):-родитель(Родитель, Кого), родитель(Родитель, РодПлем), мужчина(Родитель), родитель(РодПлем, Племянница), женщина(Племянница).
родители(Родитель1, Родитель2):-родитель(Родитель1, Ребенок), родитель(Родитель2, Ребенок), Родитель1\==Родитель2, мужчина(Родитель1), женщина(Родитель2).
внук(Потомок, Прародитель):-родитель(Родитель, Потомок), родитель(Прародитель, Родитель), мужчина(Потомок).
/* брат(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), Брат\==Кого, мужчина(Брат). */
/* брат(Брат, Кого):-мать(Мать, Брат), мать(Мать, Кого), Брат\==Кого, мужчина(Брат). */
/* брат(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), мать(Мать, Брат), мать(Мать, Кого), Брат\==Кого, мужчина(Брат). */
/* брат(Брат, Кого):-отец(Отец2, Кого), мать(Мать2, Кого), !,   мать(Мать1, Брат),  отец(Отец1, Брат),  Брат\==Кого, мужчина(Брат), ((Отец1==Отец2,Мать1==Мать2); Отец1==Отец2; Мать1==Мать2). */
/*  брат(Брат, Кого):-отец(Отец, Кого), мать(Мать, Кого), !,  (мать(Мать, Брат);  отец(Отец, Брат)), Брат\==Кого, мужчина(Брат). */

брат(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), мать(Мать1, Брат), мать(Мать2, Кого), Мать1\==Мать2, Брат\==Кого, мужчина(Брат).
брат(Брат, Кого):-мать(Мать, Брат), мать(Мать, Кого), отец(Отец1, Брат), отец(Отец2, Кого), Отец1\==Отец2, Брат\==Кого, мужчина(Брат).
брат(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), мать(Мать, Брат), мать(Мать, Кого), Брат\==Кого, мужчина(Брат).

сестра(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), мать(Мать1, Брат), мать(Мать2, Кого), Мать1\==Мать2, Брат\==Кого, женщина(Брат).
сестра(Брат, Кого):-мать(Мать, Брат), мать(Мать, Кого), отец(Отец1, Брат), отец(Отец2, Кого), Отец1\==Отец2, Брат\==Кого, женщина(Брат).
сестра(Брат, Кого):-отец(Отец, Брат), отец(Отец, Кого), мать(Мать, Брат), мать(Мать, Кого), Брат\==Кого, женщина(Брат).

любит("Таня", яблоки).
любит("Сергей", бананы).
любит("Андрей", яблоки).
любит("Света", карамель).
любит("Вова", карамель).
любит("Таня", халва).
любит("Света", апельсины).
любит("Вова", бананы).

/* любит(Кто, бананы). */
/* любит(Кто, халва), любит(Кто, яблоки). */
/* любит("Вова", Что). */
/* любит("Вова", Что), любит("Света", Что). */

увлекается("Катя", теннис).
увлекается("Виктор", теннис).
увлекается("Виктор", хоккей).
увлекается("Андрей", хоккей).
увлекается("Олег", хоккей).
увлекается("Ольга", теннис).
увлекается("Катя", шахматы).
увлекается("Олег", шахматы).
женщина_2("Катя").
женщина_2("Ольга").
мужчина_2("Виктор").
мужчина_2("Андрей").
мужчина_2("Олег").
шахматы_жен(Х):-увлекается(Х, шахматы), женщина_2(Х).
хоккей_муж(Х):-увлекается(Х, хоккей), мужчина_2(Х).
теннис_пара(Х,У):-увлекается(Х, теннис) ,увлекается(У, теннис), мужчина_2(Х), женщина_2(У).