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

[neustroev_ai]

Доброго времени суток!
Необходимо решить следующую задачу средствами Prolog:

Для полярной экспедиции из восьми претендентов А, В, С, D, Е, F, G и Н надо отобрать шестерых специалистов: биолога, гидролога, синоптика, радиста, механика и врача. Обязанности биолога могут выполнять Е и G, гидролога — В и F, синоптика — F и G, радиста — Си D, механика — С и Н, врача — А и D. Хотя некоторые претенденты владеют двумя специальностями, в экспедиции каждый сможет выполнять только одну обязанность. Кого и кем следует взять в экспедицию, если F не может ехать без В, D — без С и без Н, С не может ехать одновременно с G, а A вместе с B?

Я с этим языком совсем плохо знаком, попробовал набросать условия по примерам:

DOMAINS
    name = string
PREDICATES
    goes(name)
    doesnt_go(name)
    can_be(name, name)
CLAUSES
    can_be("e", "bio").
    can_be("b", "hydro").
    can_be("f", "syn").
    can_be("c", "rad").
    can_be("c", "mech").
    can_be("a", "med").
    can_be("g", "bio").
    can_be("f", "hydro").
    can_be("g", "syn").
    can_be("d", "rad").
    can_be("h", "mech").
    can_be("d", "med").
    goes("f"):-goes("b").
    goes("d"):-goes("c"), goes("h").
    goes("c"):-doesnt_go("g").
    goes("a"):-doesnt_go("b").

Подскажите, в правильном ли направлении двигаюсь? И какой запрос необходимо выполнить?
Заранее спасибо.

[neustroev_ai]

Все еще нужна помощь.
up