Генеологическое древо  

Генеологическое древо

Лабораторная работа №1

Ольга
Влад
Евгений
Илья
Ян
Сергей
Вова
Игорь
Анна
Таня
Александр
Валера


1) Дед

2) Племянник

3) Дядя

predicates

parent(String,String)

man(String)

woman(String)

married(String,String)

plem(String,String)

uncle(String,String)

mother(String,String)

grandma(String,String)

father(String,String)

grandfa(String,String)

son(String,String)

brother(String,String)

print

Clauses

man(evgeniy).

man(vlad).

man(iliya).

man(yan).

man(sergey).

man(valera).

man(vova).

man(igor).

man(aleksandr).

woman(tania).

woman(anna).

woman(olga).

parent(evgeniy,vlad).

parent(evgeniy,iliya).

parent(olga,vlad).

parent(olga,iliya).

parent(iliya,yan).

parent(iliya,sergey).

parent(aleksandr,evgeniy).

parent(aleksandr,valera).

parent(aleksandr,vova).

parent(valera,tania).

parent(vova,igor).

parent(vova,anna).

married(evgeniy,olga).

grandma(X,Y):-mother(X,Z),parent(Z,Y).

mother(X,Y):-woman(X),parent(X,Y).

father(X,Y):-man(X),parent(X,Y).

son(X,Y):-man(Y),parent(X,Y).

uncle(X,Y):-man(X),brother(X,Z),parent(Z,Y).

grandfa(X,F):-parent(X,Y),parent(Y,F),man(X).

brother(X,Y):-parent(Z,X),parent(Z,Y),man(X),XY.

plem(X,F):-parent(Z,F),man(F),parent(P,X),parent(P,Z),ZX.

print.

%GOAL

%print,

%readln(I).


0002836068023122.html
0002886820638495.html
    PR.RU™