Логическая задача (родственные отношения) - Prolog

Формулировка задачи:

Выполните задание в среде Prolog В базе имеются факты: Анна – родитель Аси, Анна – родитель Романа Антон – родитель Аси, Антон – родитель Романа Рита – родитель Игоря, Олег – родитель Игоря Антон – брат Риты Какие правила необходимо ввести, чтобы, не пополняя базу фактами, ответить на следующие вопросы: 1. Является ли Роман племянником Риты? 2. Кто племянники Риты? 3. У Антона – мужской пол?

Решение задачи: «Логическая задача (родственные отношения)»

textual
                            Листинг программы 
                        

                            male(anton).
male(roma).
male(oleg).
male(igor).
 
female(anna).
female(asya).
female(rita).
 
parent(anna,asya).
parent(anton,asya).
parent(rita,igor).
parent(anton,roma).
parent(anna,roma).
parent(oleg,igor).
 
brother(anton,rita).
                        