Кто отец Петра? Нужно найти через Братьев!

[fs_x]

Сидор брат Фомы;
Владимир брат Андрея;
Владимир сын Николая;
Юрий брат Виктора;
Иван сын Олега;
Леонид сын Михаила;
Фома брат Николая;
Степан брат Михаила;
Леонид брат Виталия;
Анатолий брат Федора;
Иван брат Антона;
Николай отец Алексея;
Петр отец Фомы;
Геннадий брат Анатолия;
Борис брат Андрея;
Григорий брат Валентина;
Степан брат Алексея;
Никифор брат Валентина;
Николай отец Валентина;
Леонид брат Виталия;
Виталий брат Леонида;
Виктор брат Владимира;
Яков брат Юрия;
Владимир брат Геннадия;
Федор брат Якова;
Яков брат Бориса.
Кто отец Петра?

DOMAINS
s=symbol

Predicates
father(s,s)
son(s,s)
bro(s,s)

Clauses
father(nikolay,aleksey).
father(petr,foma).
father(nikolay,valentin).
father(X,Y):-son(Y,X).
father(X,Y):-father(X,Z),bro(Y,Z).

bro(sidor,foma).
bro(vladimir,andrey).
bro(uriy,victor).
bro(foma,nikolay).
bro(stepan,mehail).
bro(leonid,vitaliy).
bro(anatoliy,fedor).
bro(ivan,anton).
bro(genadiy,anatoliy).
bro(boris,andrey).
bro(grigoriy,valentin).
bro(stepan,aleksey).
bro(nikolay,valentin).
bro(leonid,vitaliy).
bro(vitaliy,leonid).
bro(viktor,vladimir).
bro(jakov,uriy).
bro(vladimir,genadiy).
bro(fedor,jakov).
bro(jakov,boris).
bro(X,Y):-bro(Y,Z).

son(vladimir,nikolay).
son(ivan,oleg).
son(leonid,mihail).
son(X,Y):-father(Y,X).

Помогите исправить ошибку, в турбе прологе...

[whatever]

Убийца - дворецкий. Инфа 100%

[Sciv]

Дело даже не в программе, а в том, что по исходным данным отца Петра не вычислить. Походу так. Можно вычислить трех его сыновей, кучу внуков, совершенно постороннего Олега с сыновьями Иваном и Антоном - но Петр один фиг на вершине этой пирамиды.

Так что либо решения не существует, либо правильный ответ - никто из списка... либо условие изначально неполное.

Ну и предложения по коду:

bro(X,Y):-bro(Y,Z).

поменять на

bro(X,Y):-bro(Y,Z),bro(X,Z).

добавить кусок:

son(X,Z):-father(Z,Y), bro(X,Y).

И хотя я Prolog уже десяток лет в глаза не видел, но мне кажется, там еще целевой раздел должен быть goal

[Niro]

я бы убрал все правила и добавил вместо них:

father (X,Y):- son (Z,X), bro (Z,Y).

а цель такая:

father (X,petr).

там еще целевой раздел должен быть goal

ну если goal - нету, то цель просто вводится в окно dialog

P.S. правильного ответа, как и сказал Sciv, кажись нету. Ответ будет No solution