Turbo prolog

[Programmist26]

Добрый вечер форумчане!!!
Есть задачка на прологе
Написать и реализовать программу установления родственных связей: Василий имеет дочь Ольгу, у которой два сына Михаил и Максим. Использовать внешние и внутренние цели.
Код есть

domains
name=symbol

predicates
men(name)
mama(name)
sons(name,name)
doughter(name,name)
deda(name,name)
brother(name,name).

goal
doughter(Z,Y),
write(Z,Y),
nl.

clauses
men("Vaciliy").
men("Michail").
men("Maxim").
mama("Olga").
sons("Michail","Olga").
sons("Maxim","Olga").
doughter("Olga","Vasiliy").
deda(X,Y) :-men(X),men(Y),sons(X,Y),doughter(Z, Y).
brother(X,Y) :-men(X),men(Y), sons(X,Z),sons(Y,Z),X<>Y.

Код работает, но нужно сделать так чтобы узнать кто кому кем приходится(сам не понял что написал)
Например кем приходится Максим Ольге, Василию.
Заранее благодарю за помощь.