Найти алгоритм решения логической задачи "кто на чем сидит"

@Dmitry115 · Регистрация: 12.05.2013

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

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

С прологом знаком очень плохо, можно сказать вообще не знаком, но решить надо.
Написал по примерам из других задач, но ничего не работает. Ругается на not и еще что то.
Нужна ваша помощь.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
% Copyright
implement*main
****open*core,*console
class*predicates
name : (string) multi (o).
sit : (string) multi (o).
sidit : (string, string) determ (i,i).
clauses
name("Kolia").
name("Sveta").
name("Olia").
sit("Stul").
sit("Krovat").
sit("Divan").
not(sidit("Kolia","Stul")).
not(sidit("Kolia","Krovat")).
not(sidit("Sveta","Stul")).
answer(X,Y):-name(X),sit(Y),sidit(X,Y), write(X," - ",Y),!.
run() :-*
    init(),
    answer(X,Y),
         nl,
         _=readline().
end*implement*main
 
goal
***mainExe::run(main::run).

P.s Программа на Visual Prolog 7.5

@Black Fregat · 05.07.2015, 19:07

Собственно, решения-то у Вас и нету. Вообще.

Нужно каким-то образом формировать пары, где-то их хранить..
Вот тут почитайте, как это делается в общем случае: Логическая задача: Пять человек - Саша, Борис, Виталий, Лена и Дмитрий - живут в 5 разных городах
Это решение вообще можно взять один к одному, только слова заменить: Задачка про сбор урожая

Новые блоги и статьи Все статьи Все блоги /
Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .	Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .
Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .	Отправка уведомления на почту при создании или изменении элементов справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере типового справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи электронной. . .

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	05.07.2015, 19:07
	Собственно, решения-то у Вас и нету. Вообще. Нужно каким-то образом формировать пары, где-то их хранить.. Вот тут почитайте, как это делается в общем случае: Логическая задача: Пять человек - Саша, Борис, Виталий, Лена и Дмитрий - живут в 5 разных городах Это решение вообще можно взять один к одному, только слова заменить: Задачка про сбор урожая 0