Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
родитель("Михаил","Алексей"). родитель("Евдокия","Алексей"). родитель("Алексей","Иоанн"). родитель("Алексей","Софья"). родитель("Алексей","Федор"). родитель("Мария","Иоанн"). родитель("Мария","Софья"). родитель("Мария","Федор"). родитель("Алексей","Петр"). родитель("Наталья","Петр"). родитель("Петр","Анна"). родитель("Петр","Елизавета"). родитель("Екатерина","Анна"). родитель("Екатерина","Елизавета"). мужчина("Иоанн"). мужчина("Михаил"). мужчина("Алексей"). мужчина("Федор"). мужчина("Петр"). женщина("Екатерина"). женщина("Евдокия"). женщина("Софья"). женщина("Мария"). женщина("Наталья"). женщина("Анна"). женщина("Елизавета"). мать(Кто, Кого):-родитель(Кто, Кого), женщина(Кто). отец(Кто, Кого):-родитель(Кто, Кого), мужчина(Кто). сын(Кто, Кого):-родитель(Кого, Кто), мужчина(Кто). дочь(Кто, Кого):-родитель(Кого, Кто), женщина(Кто). дед(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), мужчина(Прародитель). бабушка(Прародитель, Потомок):-родитель(Прародитель, Родитель), родитель(Родитель, Потомок), женщина(Прародитель). родители(Родитель1, Родитель2):-мать(Родитель1, Ребенок), родитель(Родитель2, Ребенок), Родитель1\==Родитель2. брат(Кто, Кого):-отец(Родитель1, Кого), отец(Родитель1, Кто), мать(Родитель2, Кого), мать(Родитель2, Кто), мужчина(Кто), Кто\=Кого. племянница(Кто, Кого):-дочь(Кто, Родитель), мать(Прародитель, Родитель), мать(Прародитель, Кого), Родитель\==Кого.