Решение логических задач - Prolog (227152)

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

В комнате находятся Коля, Света, Оля. Каждый из них сидит на отдельной мебели (кровать, стул, диван). Известно, что Коля сидит не на стуле и не на кровати. Света не сидит на стуле. Кто где сидит?

Решение задачи: «Решение логических задач»

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

?- sit([['Kolya', Kolya], ['Sveta', Sveta], ['Olya', Olya]]).
Kolya = divan,
Sveta = krovat,
Olya = stul.

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

Задана программа на языке Prolog.
В программе решается логическая задача.
В первой строке программы задан вопрос ?- sit([['Kolya', Kolya], ['Sveta', Sveta], ['Olya', Olya]]).
В этом вопросе речь идет о трех объектах: Kolya, Sveta и Olya.
У каждого объекта есть два значения: Kolya = divan и Kolya = divan.
Также есть два значения для Sveta: Sveta = krovat и Sveta = krovat.
И два значения для Olya: Olya = stul и Olya = stul.
Значит, у каждого объекта есть два возможных состояния: divan и krovat для Kolya, divan и krovat для Sveta, stul и stul для Olya.
Программа может использоваться для определения, какой объект является диваном, какой кроватью и какой стулом.
Для этого можно задать вопросы типа: ?- sit([['Kolya', Kolya], ['Sveta', Sveta], ['Olya', Olya]]).