Пролог...родственные отношения

[Дмитрий142]

Необходимо описать предметную область «родственные отношения».
Для этого задайте в качестве фактов следующие отношения между объектами предметной области:
- parents(X, Y) – X является родителем Y;
- man(X) – X мужчина;
- woman(X) –X женщина.
Например,
parents(tom, ellen).
man(tom).
woman(ellen).

Определите в качестве правил (используя отношения parents, man,
woman) следующие отношения:
- sister(X, Y) – X является сестройY;
- brother(X, Y) – X является братом Y;
- father(X, Y) – X является отцом Y;
- mother(X, Y) – X является матерью Y;
- grandfather(X, Y) – X является дедушкой Y;
- grandmother(X, Y) – X является бабушкой Y.

вот программа которая определяет отношение aunt(X, Y) – «X является тетей Y» через отношения parents и sister.

predicates						
parent(STRING, STRING)
sister(STRING, STRING) 
aunt(STRING, STRING)
%section 
clauses
parent("Vasko","Alex").
sister("Lena","Vasko").
aunt("Lena","Alex"):-
parent("Vasko","Alex"), sister("Lena","Vasko").

goal
aunt(X,Y), parent(Z,Y), sister(X,"Vasko").

Как по аналогии написать прорамму ??

[Дмитрий142]

Если можно, с коментариями.

[slipokorn]

делал похожую программу

DOMAINS
 Name=symbol 
PREDICATES
 son(Name,Name) \\ сын
 do(Name,Name) \\ дочь
 vnuk(Name,Name) \\ внук
 vn(Name,Name) \\внучка
 gf(Name,Name) \\ дедушка
 gm(Name,Name) \\ бабушка
 f(Name,Name) \\ папа
 m(Name,Name) \\ мама

CLAUSES

 son(petya,kolya).
 son(kolya,grisha).
 son(grisha,alex).
 son(anya,gora).
 son(anya,victor).
 do(kolya,anya). 
 do(victor,olga).
 do(grisha,masha).
 f(grisha,alex).
 f(grisha,masha).
 f(kolya,anya).
 f(kolya,grisha).
 f(petya,kolya).
 f(victor,olga).
 m(anya,gora).
 m(anya,victor).

 vnuk(X,Y):-son(X,Z),son(Z,Y). 
 vnuk(X,Y):-do(X,Z),son(Z,Y). 

 vn(X,Y):-son(X,Z),do(Z,Y).

 gf(X,Y):-f(X,Z),f(Z,Y).

 gm(X,Y):-m(X,Z),f(Z,Y).

[Дмитрий142]

Извините....но не то...или я дурак Мне нужно чтоб был

goal