Задача на выявление истины - Prolog

Формулировка задачи:

Всем привет. Имеется следующая задача: Один раз на стройке пропали кирпичи. Прораб, возмущённый тем, что кирпичи пропали без его ведома, решил выяснить кто же решился на такой дерзкий поступок. Выяснилось, что кирпичи могли украсть или монтажник Иванов или крановщик Сидоров или моляр Петров. Прораб выяснил, что укравший кирпичи был левша. Каждый из трёх подозреваемых сделал по два утверждения: Иванов: - Я не левша. Я не брал кирпичи. Сидоров: - Я левша. Я не брал кирпичи. Петров: - Я не левша. Левша брал кирпичи. Прораб обнаружил, что двое из подозреваемых сказали правду и только один из подозреваемых не был левшой, так кто украл? Начал решать задачу, но не могу выделить два правильных утверждения. Вот мой код на SWI-prolog:

%Проверка на повторяющийся элемент в списке.
unique([]):-!.
unique([Head|Tail]):-
  member(Head, Tail), !, fail;
  unique(Tail).
 
name(ivanov).
name(sidorov).
name(petrov).
 
solve(Workmans):-
  Workmans = [man(X, XHand, XT), man(Y, YHand, YT), man(Z, ZHand, ZT)],
 
  name(X), name(Y), name(Z), unique([X, Y, Z]),
 
  member(man(ivanov, notleft, donttake), Workmans),
 
  member(man(sidorov, left, donttake), Workmans),
 
  member(man(petrov, notleft, lefttake), Workmans).
 
start(Solve):-
  solve(Solve), Solve = [man(_, left, take)].

Возможно у меня всё неправильно. Кто может подскажите как решать задачи такого типа.

Решение задачи: «Задача на выявление истины»

Листинг программы

assertion(ivanov, not_left, dont_take).
assertion(sidorov, left, dont_take).
assertion(petrov, not_left, left_take).
 
thief(X,_,Z):-
  assertion(X2,Y2,_),
  assertion(X1,Y1,_),
  assertion(X,Y,Z),
  Y2\=Y1, Y2=Y, X2\=X1, X\=X2, X\=X1.

Объяснение кода листинга программы

В этом коде:

ivanov - это имя первого человека.
not_left - это то, что первый человек не левша.
dont_take - это то, что первый человек не берет предмет.
sidorov - это имя второго человека.
left - это то, что второй человек левша.
petrov - это имя третьего человека.
not_left - это то, что третий человек не левша.
left_take - это то, что третий человек берет предмет.
X - это переменная, которая используется для обозначения имени человека.
Y - это переменная, которая используется для обозначения того, является ли человек левшой или берет ли он предмет.
Z - это переменная, которая используется для обозначения результата вычисления.
X2 и X1 - это две переменные, которые используются для обозначения предыдущих значений переменной X.
Y2 и Y1 - это две переменные, которые используются для обозначения предыдущих значений переменной Y.
thief(X,_,Z) - это функция, которая определяет, является ли человек вором.
Функция thief(X,_,Z) используется для сопоставления шаблонов с использованием правил вывода.
Правила вывода проверяют, является ли второй человек левшой и берет ли он предмет, и если да, то сопоставляют его с первым человеком.
Если второй человек не левша и не берет предмет, и если первый человек не левша и не берет предмет, то сопоставляют его с третьим человеком.
Если второй человек левша и берет предмет, и если первый человек не левша и не берет предмет, то сопоставляют его с третьим человеком.
Если второй человек не левша и не берет предмет, и если первый человек левша и не берет предмет, то сопоставляют его с третьим человеком.
Если второй человек левша и берет предмет, и если первый человек левша и не берет предмет, то сопоставляют его с третьим человеком.