Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- man(иван).
- man(сидор).
- man(ярослав).
- man(юрий).
- man(алексей).
- man(олег).
- man(федор).
- man(игорь).
- womаn(алена).
- womаn(ирина).
- womаn(альфия).
- womаn(евгения).
- womаn(юлия).
- womаn(раиля).
- womаn(мария).
- womаn(ольга).
- womаn(дарья).
- parent(иван, ярослав).
- parent(иван, юрий).
- parent(алена, ярослав).
- parent(алена, юрий).
- parent(сидор, алексей).
- parent(сидор, юлия).
- parent(ирина, алексей).
- parent(ирина, юлия).
- parent(юрий, раиля).
- parent(юрий, олег).
- parent(альфия, раиля).
- parent(альфия, олег).
- parent(алексей, мария).
- parent(алексей, ольга).
- parent(евгения, мария).
- parent(евгения, ольга).
- parent(олег, игорь).
- parent(мария, игорь).
- parent(федор, дарья).
- parent(ольга, дарья).
- married(иван, алена).
- married(сидор, ирина).
- married(юрий, альфия).
- married(алексей, евгения).
- married(олег, мария).
- married(федор, ольга).
- %мать
- mоther(X,Y):- parent(X,Y), womаn(X).
- %отец
- father(X,Y):- parent(X,Y), man(X).
- %дедушка
- grandfather(X,Y):- parent(X,Tmp),parent(Tmp,Y), man(X).
- %тетя
- aunt(X,Y):- parent(T,Y), parent(T2,T), parent(T2,X),X\=T, women(X),!.
- aunt(X,Y):- parent(T,Y), parent(T2,T), parent(T2,T3),T3\=T, married(T3, X),!.
- %дядя
- uncle(X,Y):- parent(T,Y), parent(T2,T), parent(T2,X),X\=T, man(X),!.
- uncle(X,Y):- parent(T,Y), parent(T2,T), parent(T2,T3),T3\=T, married(X, T3),!.
- %племянница
- niece(X,Y):- women(X), uncle(Y,X).
- niece(X,Y):- women(X), aunt(Y,X).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement