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

@AIG · Регистрация: 25.11.2013

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

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

@AIG · 19.12.2014, 22:35 **[ТС]**

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
sit([['Kolya', Kolya], ['Sveta', Sveta], ['Olya', Olya]]) :-
    Xs = [Kolya, Sveta, Olya],
    Ys = [krovat, stul, divan],
    permutation1(Xs, Ys),
    Kolya \= stul, Kolya \= krovat,
    Sveta \= stul,
    !.
 
permutation1([], []).
permutation1(List, [First|Perm]) :-
        select1(First, List, Rest),
        permutation1(Rest, Perm).
 
select1(X, [X|Tail], Tail).
select1(Elem, [Head|Tail], [Head|Rest]) :-
        select1(Elem, Tail, Rest).

Помогите не работает, в среду сдать надо последний день и последняя задачка

@Black Fregat · 20.12.2014, 09:08

Всё работает:

Code
1
2
3
4
?- sit([['Kolya', Kolya], ['Sveta', Sveta], ['Olya', Olya]]).
Kolya = divan,
Sveta = krovat,
Olya = stul.

Добавлено через 2 минуты
И совершенно непонятно, зачем нужно было сочинять такой сложный заголовок предиката sit.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@AIG 0 / 0 / 0 Регистрация: 25.11.2013 Сообщений: 10

	Решение логических задач 11.12.2014, 19:28. Показов 2431. Ответов 2 Метки нет (Все метки) В комнате находятся Коля, Света, Оля. Каждый из них сидит на отдельной мебели (кровать, стул, диван). Известно, что Коля сидит не на стуле и не на кровати. Света не сидит на стуле. Кто где сидит? 0