решение логической задачи в Prolog

В суд привели рыцаря, лжеца и шпиона.

Рыцарь всегда говорит только правду. Лжец всегда лжёт. Шпион может

говорить и правду, и лгать. Все трое знают друг о друге, кто из них кто, но

суду также хотелось бы выяснить это. Первый подсудимый утверждает,

что шпионом является второй. Второй говорит, что шпион — это третий.

Третий говорит, что шпион — кто-то из первых двух, но не он. Кто из них

кто?

Создать решение задачи в Prolog