Логическая задача нахождение города Prolog

13.10.2012, 13:08. Показов 2249. Ответов 0

Метки нет (Все метки)

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

Вот текст задачи:
Используя отсечение, неуспех и отрицание, написать программу: Боря, Витя, Гриша и Егор встретились на олимпиаде. Ребята приехали из разных городов: один – из Твери, другой – из Омска, третий – из Томска, а четвертый – из Казани. Известно, что Боря жил в одной комнате с мальчиком из Казани и ни один из них никогда не был ни в Твери, ни в Томске. Гриша играл в одной команде с мальчиком из Твери, а против них обычно сражался приятель из Казани. Егор и мальчик из Твери увлекались игрой в шахматы. Город, из которого приехал Витя? 1) Тверь; 2) Омск; 3) Томск; 4) Казань; 5) определенно сказать нельзя.

Пробовал решить средствами пролога решить ее но мозг завис полностью на середине
не понимаю как ее описать

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
predicates
name(symbol)
gorod(symbol)       
mesto(symbol,symbol)        
uslovie(symbol,symbol)
clauses
name("Boria").
name("Vitia").
name("Egor").
name("Grisha").
gorod("Tver").
gorod("Omsk").
gorod("Tomsk").
gorod("Kazan").
uslovie():=name("Boria")<>gorod("Tver"),<>gorod("Tomsk").
 
goal
.

Кто нибуть может помочь?

Programming

Эксперт

39485 / 9562 / 3019

Регистрация: 12.04.2006

Сообщений: 41,671

Блог

13.10.2012, 13:08

Ответы с готовыми решениями:

Поездная бригада состоит из кондуктора, проводника, машиниста и помощника машиниста
Может у кого есть исходни на Prolog ЗЫ заранее спаисбо)

Логическая задача: определить, кто выиграл этап гонки "Формула 1"
болельщики автогонок "Формула-1", спорили о результатах предстоящего этапа гонок. — Вот увидишь, Шумахер не придет первым, — сказал...

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

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

inter-admin

Эксперт

29715 / 6470 / 2152

Регистрация: 06.03.2009

Сообщений: 28,500

Блог

13.10.2012, 13:08

Помогаю со студенческими работами здесь

Логическая задача в Prolog
Как реализовать эту задачу в прологе? Маша, Лиза, Катя и Ира пришли к Наде на День Рожденья с подарками. Две девочки принесли Наде...

Логическая задача: назвать фамилии слесаря, токаря и сварщика
Помогите пожалуйста. Используя отсечение, неуспех и отрицание, написать программу на Prolog: На заводе работали три друга: слесарь,...

Логическая задача: Корнеев, Докшин, Мареев и Скобелев - жители нашего города
Всем привет! Помогите, пожалуйста, решить задачу на Prolog: Корнеев, Докшин, Мареев и Скобелев — жители нашего города. Их профессии —...

Построить остовное дерево минимальной стоимости (по взвешенному графу)
Дан взвешенный граф.Построить остовное дерево минимальной стоимости. пролог 1995 года ,без понятия как с ним работать:cry: Версия...

Логическая задача: как распределились места, занятые хоккейными командами?
Помогите, пожалуйста, решить логическую задачу. Проблема в том, что нужно и учесть условие "каждый из болельщиков был прав...

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

Новые блоги и статьи Все статьи Все блоги /
Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	Программный отбор значений справочника Maks 21.03.2026 Установка программного отбора значений справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит предопределенное значение перечислений. Процедура. . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	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 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .

Наверх