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

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

Помогите, пожалуйста, решить.

У трех подруг - Оли, Кати и Светы - очень красивые куртки - синяя и красная с капюшонами и синяя без капюшона. У кого какая куртка, если Катя и Света ходят с капюшонами, а у Кати и Оли куртки синего цвета?

Решение задачи: «Логическая задача Turbo Prolog»

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

domains
list = symbol*
 
predicates
куртка(list)
 
clauses
куртка(["синяя", "с капюшоном"]).
куртка(["синяя", "без капюшона"]).
куртка(["красная", "с капюшоном"]).
 
goal
куртка(Оля),
куртка(Катя),
not(Оля = Катя),
куртка(Света),
not(Оля = Света),
not(Катя = Света),
Катя = [_, "с капюшоном"],
Света = [_, "с капюшоном"],
Катя = ["синяя", _],
Оля = ["синяя", _],
write("Оля: ", Оля), nl,
write("Катя: ", Катя), nl,
write("Света: ", Света), nl.

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

В коде используется язык программирования Prolog.
Задача состоит в определении типа куртки для каждого из трех персонажей: Оли, Кати и Светы.
Для решения задачи используется предикат куртка, который принимает в качестве аргумента список символов и проверяет, является ли этот список описанием куртки.
В базе знаний записаны три утверждения о куртках: два утверждения о куртке Оли и одно утверждение о куртке Кати.
В запросе к базе знаний указано, что нужно найти информацию о куртке для Оли, Кати и Светы.
В запросе также указано, что Оля и Света не могут быть одним и тем же персонажем, а Катя и Света не могут быть одним и тем же персонажем.
В запросе указаны дополнительные ограничения на тип куртки для каждого персонажа: Оля и Катя должны иметь куртку с капюшоном, а Света должна иметь куртку с капюшоном и цветом синяя.
В запросе указаны действия по выводу информации о куртках на экран.
В результате выполнения программы на экран будет выведена информация о куртках для каждого персонажа.