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

#2541

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

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

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