Prolog. Задачи на соответствие

[C++++]

Загадка: Была украдена мука, ее нашли в домике, где жил Мартовский заяц, Болванщик и Соня. Мартовский заяц сказал: «Муку украл Болванщик». Болванщик и Соня дали показания, но они утеряны. В ходе заседания выяснилось, что укравший муку дал правдивые показания.

predicates
imya(symbol) - nondeterm (o) nondeterm (i)
ukradeno(symbol) - nondeterm (o)nondeterm (i)
sootvetstvie(symbol,symbol) - nondeterm (i,i)nondeterm (i,o)
reshenie(symbol,symbol,symbol,symbol,symbol,symbol) - nondeterm (i,i,i,i,i,i)nondeterm (o,o,o,o,o,o)
clauses
%baza dannih imen
imya(martovskyi zayac).
imya(bolvanshik).
imya(sonya).
%baza dannih ukradeno
ukradeno(martovskim zaycem).
ukradeno(bolvanshikom).
ukradeno(sonyei).
%opredelim odnoznachnoye sootvetstvie I - imya, U - ukradeno
sootvetstvie(I,U):-imya(I), I=martovskyi zayac, ukradeno(U)

Правильная мысль?