Ответ в теме: Prolog. Задачи на соответствие. Алиса в стране чудес

      Комментарии к записи Ответ в теме: Prolog. Задачи на соответствие. Алиса в стране чудес отключены
#2541

Посмотрите примеры решения логических задач на установления соответствия. Задумка мне не очень понятна. То, что Вы попробовали описать факты, которые есть в программе — правильно, но интерпретатор никак не сможет связать факты

imya(martovskyi zayac).
ukradeno(martovskim zaycem).

Кстати, в Вашей программе написано, что аргументы функций — списки, но вы передаете туда другие значения — пишите их в кавычках. Факт ukradeno в этой задаче не нужен, т.к. у нас по условию известно, что украсть могли только муку, но а вы вообще написали его так, что он фактически дублирует предикат imya. Вам нужен предикат с показаниями, после чего останется лишь проверить условие, чтобы показания вора были правдивыми.