Дано генетическое дерево
надо выяснить кто кому приходится шурин.
Шурин – брат жены.
сделал вот так
predicates
parent (symbol, symbol)
man (symbol)
woman (symbol)
shurin (symbol, symbol)
suprugi (symbol, symbol)
clauses
parent (barbara, liza).
parent (valera, liza).
parent (barbara, nikolay).
parent (valera, nikolay).
parent (anna, katya).
parent (anna, petr).
parent (srgey, katya).
parent (srgey, petr).
parent (tatiana, natali).
parent (tatiana, mihail).
parent (dmitry, natali).
parent (dmitry, mihail).
parent (liza, alex).
parent (petr, alex).
parent (nikolay, raisa).
parent (natali, raisa).
parent (katya, alexandr).
parent (mihail, alexandr).
parent (katya, juli).
parent (mihail, juli).
parent (alex, kostya).
parent (juli, kostya).
parent (raisa, lyuda).
parent (alexandr, lyuda).
suprugi (barbara, valera).
suprugi (anna, sergey).
suprugi (tatiana, dmitry).
suprugi (liza, petr).
suprugi (nataly, nikolay).
suprugi (katya, mihail).
suprugi (raisa, alexandr).
suprugi (juli, alex).
suprugi (lyuda, kostya).
man (valera).
man (sergey).
man (dmitry).
man (nikolay).
man (petr).
man (mihail).
man (alex).
man (alexandr).
man (lyda).
woman (barbara).
woman (anna).
woman (tatiana).
woman (liza).
woman (katya).
woman (nataly).
woman (raisa).
woman (juli).
woman (lyuda).
shurin (y,x) :-
parent (z,k),
parent (z,y),
suprugi (k,x),
man (y).
goal
shurin (y, x),
write (y, "shurin", x).
но в результате ответа мне выводят просто "no"
где я ошибся?
заранее спасибо
