Логическая задача на Prolog

@YellowTriangle · Регистрация: 19.02.2015

Author24 — интернет-сервис помощи студентам

Сама задача:
Министры иностранных дел России, США и Китая обсудили за закрытыми дверями проекты соглашения о полном разоружении, представленные каждой из стран. Отвечая затем на вопрос журналистов: "Чей именно проект был принят?", министры дали такие ответы:

Россия — "Проект не наш, проект не США";
США — "Проект не России, проект Китая";
Китай — "Проект не наш, проект России".

Один из них (самый откровенный) оба раза говорил правду; второй (самый скрытный) оба раза говорил неправду, третий (осторожный) один раз сказал правду, а другой раз — неправду.

Сам вопрос: Определите, представителями каких стран являются откровенный, скрытный и осторожный министры.

Как решать её так я знаю, ибо задача 3-ого класса, но как написать на прологе не знаю. Перекопатил уже кучу своего кода в swi-prolog, результат один: бред и говнокод.
Я пытался сам разобраться но никак поэтому прошу помощи тут.

Не судите строго, нам его подсунули уже на первом курсе.

Какие предикаты объявить, и как их реализовать, подскажите, попробую по вашим подсказкам написать код.

Добавлено через 15 минут
Моя запись фактов примерно такая:

Prolog

country(russia).
country(china).
country(usa).
approve(russia, russia, no).
approve(russia, usa, no).
approve(usa, russia, no).
approve(usa, china, yes).
approve(china, china, no).
approve(chine, russia, yes).

Добавлено через 46 минут
есть также такие предикаты, которые должны определять страну. говорящую правду, но они не работают

Prolog

liar(Country, Project1) :-
    approve(Country, Project2, Status), Status=yes, Project1\=Project2.
liar(Country, Project1) :-
    approve(Country, Project2, Status), Status=no, Project1=Project2.
secretive(Country, Project1) :-
    approve(Country, Project2, Status), Status=no, Project1=Project2.
secretive(Country, Project1) :-
    approve(Country, Project2, Status), Status=no, Project1\=Project2.%secretive(Country, Project1) :-
 
honest(C) :-
    approve(C, Project, Status), Status=yes,
    liar(C1, Project), secretive(C2, Project), C1 \=Country, C2\=Country.

	22.05.2016, 20:49