Найти возраст всех учеников в семье.

predicates
nondeterm male(symbol)  /*мужчина(кто)*/
nondeterm female(symbol)  /*  женщина  */
nondeterm parent(symbol,symbol,symbol) /*родители(отец,мать,чьи)*/
nondeterm age(symbol,integer)/* возраст(чей,какой) */
 
clauses
 
male(“Иван“).
male(“Петр“).
male(“Николай“).
male(“Андрей“).
male(“Федор“).
 
female(“Анна“).
female(“Зоя“).
female(“Наташа“).
female(“Вера“).
female(“Мария“).
 
parent(“Иван“,”Зоя“,”Петр“).
parent(“Иван“,”Зоя“,”Наташа“).
parent(“Федор“,”Анна“,”Зоя“).
parent(“Федор“,”Анна“,”Андрей“).
parent(“Николай“,”Мария“,”Иван“).
parent(“Николай“,”Мария“,”Вера“).
 
age(“Анна“,54).
age(“Зоя“,33).
age(“Наташа“,13).
age(“Вера“,42).
age(“Мария“,62).
age(“Николай“,65).
age(“Иван“,40).
age(“Андрей“,30).
age(“Петр“,7).
age(“Федор“,58).

domains
name = symbol 
vozrast = integer
 
predicates
age(name,vozrast)- nondeterm (o,o)
pupil(name)- nondeterm (o)
 
clauses
age("Анна",54).
age("Зоя",33).
age("Наташа",13).
age("Вера",42).
age("Мария",62).
age("Николай",65).
age("Иван",40).
age("Андрей",30).
age("Петр",7).
age("Федор",58).
 
pupil(Name):- 
age(Name,Vozrast),
Vozrast >6,
Vozrast <18.
goal
pupil(X).

predicates
nondeterm male(symbol)  /*ìóæ÷èíà(êòî)*/
nondeterm female(symbol)  /*  æåíùèíà  */
nondeterm parent(symbol,symbol,symbol) /*ðîäèòåëè(îòåö,ìàòü,÷üè)*/
nondeterm age(symbol,integer)/* âîçðàñò(÷åé,êàêîé) */
nondeterm pupil(symbol,integer)
nondeterm pupils(symbol,symbol)
 
clauses
 
male("Èâàí").
male("Ïåòð").
male("Íèêîëàé").
male("Àíäðåé").
male("Ôåäîð").
 
female("Àííà").
female("Çîÿ").
female("Íàòàøà").
female("Âåðà").
female("Ìàðèÿ").
 
parent("Èâàí","Çîÿ","Ïåòð").
parent("Èâàí","Çîÿ","Íàòàøà").
parent("Ôåäîð","Àííà","Çîÿ").
parent("Ôåäîð","Àííà","Àíäðåé").
parent("Íèêîëàé","Ìàðèÿ","Èâàí").
parent("Íèêîëàé","Ìàðèÿ","Âåðà").
 
age("Àííà",54).
age("Çîÿ",33).
age("Íàòàøà",13).
age("Âåðà",42).
age("Ìàðèÿ",62).
age("Íèêîëàé",65).
age("Èâàí",40).
age("Àíäðåé",30).
age("Ïåòð",7).
age("Ôåäîð",58).
 
pupil(Name,Vozrast):-age(Name,Vozrast),Vozrast >6,Vozrast <18.
 
pupils(Father,Mother):-parent(Father,Mother,Child),
    pupil(Child,Age),write(Child," - ",Age),nl,fail.
pupils(_,_).
 
goal
pupils("Èâàí","Çîÿ").