Кто украл сковороду? - Prolog

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

2) Кто украл сковороду? — Вот еще немного соли,—сказал Король.— Теперь-то ты можешь испечь кренделей? — Не могу,— ответила Королева,— Кто-то украл мою сковороду. — Сковороду!—вскричал в ярости Король.—Что ж, разыщем и ее! На этот раз в число подозреваемых попали Лягушонок, Лакей-Лещ и Валет Червей. На суде они заявили следующее: Лягушонок. Сковороду украл Лакей-Лещ. Лакей-Лещ. Ваше Величество, не крал я никакой сковороды. Валет Червей. Я украл сковороду! — Какой помощник правосудия выискался!— закричал Король на Валета Червей.—Рта не можешь раскрыть, чтобы не солгать! Выяснилось, что не более чем один подсудимый лгал. Кто украл сковороду?

Решение задачи: «Кто украл сковороду?»

textual
                            Листинг программы 
                        
 
                        
                          
                    
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 6.6.6)
Copyright (c) 1990-2013 University of Amsterdam, VU Amsterdam
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.
 
For help, use ?- help(Topic). or ?- apropos(Word).
 
?- ['pan.pl'].
% pan.pl compiled 0.00 sec, 2 clauses
true.
 
?- решение(Вор).
Вор = 'Валет Червей' ;
false.
 
?-