Напитки в сосудах

@Vlad__i__mir · Регистрация: 04.01.2017

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

Здравствуйте!

Помогите пожалуйста с задачей

В бутылке, стакане, кувшине и банке находятся молоко, лимонад, квас и вода. Известно, что вода и молоко не в бутылке, сосуд с лимонадом находится между кувшином и сосудом с квасом, в банке — не лимонад и не вода. Стакан находится около банки и сосуда с молоком. Как распределены эти жидкости по сосудам?
Аналитически решил получилось:
Бутылка - лимонад
стакан - вода
кувшин - молоко
банка - квас

Написал на SWI-Prolog, но даёт не верные ответы. Не могу найти ошибку:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
сосуд(бутылка).
сосуд(стакан).
сосуд(кувшин).
сосуд(банка).
жидкость(молоко).
жидкость(лимонад).
жидкость(квас).
жидкость(вода).
/*В бутылке не вода и не молоко*/
соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Ч=бутылка,not(Н=молоко),not(Н=вода).
/*Сосуд с лимонадом находится между кувшином и сосудом с квасом*/
соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Н=лимонад,not(Ч=кувшин),not(соответствие(Ч,квас)).
/*В банке не лимонад и не вода*/
соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Ч=банка,not(Н=лимонад),not(Н=вода).
/*Стакан находится около банки и сосуда с молоком*/
соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Н=стакан,not(Н=молоко),not(соответствие(банка,Н)).

Добавлено через 1 час 15 минут

Сообщение от Vlad__i__mir

16 соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Н=стакан,not(Н=моло ко),not(соответствие(банка,Н)).

Здесь поправил:

Prolog
1
соответствие(Ч,Н):- сосуд(Ч),жидкость(Н),Ч=стакан,not(Н=молоко),not(соответствие(банка,Н)).

Но это не помогло.

@Black Fregat · 10.04.2019, 00:44

Сообщение от Vlad__i__mir

Но это не помогло.

Понятно, что не помогло. Нужно сначала сформировать гипотезу, то есть какое-то соответствие, а потом уже проверять условия
Вот, посмотрите, как сделано в похожей теме: Решение логических задач

@Volodya_ · 10.04.2019, 11:02

Vlad__i__mir, но можно и вот так, работает:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
сосуд(бутылка).
сосуд(стакан).
сосуд(банка).
сосуд(кувшин).
жидкость(вода).
жидкость(молоко).
жидкость(лимонад).
жидкость(квас).
соответствие(X,Y):-сосуд(X),жидкость(Y),X=банка,not(Y=вода),not(Y=молоко),not(Y=лимонад).
соответствие(X,Y):-сосуд(X),жидкость(Y),X=бутылка,not(Y=вода),not(Y=молоко),not(соответствие(банка,Y)).
соответствие(X,Y):-сосуд(X),жидкость(Y),X=кувшин,not(Y=квас),not(Y=лимонад),not(соответствие(банка,Y)),not(соответствие(бутылка,Y)),not(соответствие(стакан,Y)).
соответствие(X,Y):-сосуд(X),жидкость(Y),X=стакан,not(Y=молоко),not(соответствие(бутылка,Y)),not(соответствие(банка,Y)).

Нужно было всегда 3-м условием рассматривать сосуд, и в конце добавлять условие, что жидкости, которая в данном сосуде не должно быть в предыдущих.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .