Лабораторная работа №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)
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),X<>Y.
plem(X,F):-parent(Z,F),man(F),parent(P,X),parent(P,Z),Z<>X.
print.
%GOAL
%print,
%readln(I).
