Prolog. Задачи на соответствие

@HEAD5 · Регистрация: 08.01.2014

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

Алиса в стране чудес. Загадка: Была украдена мука, ее нашли в домике, где жил Мартовский заяц, Болванщик и Соня. Мартовский заяц сказал: «Муку украл Болванщик». Болванщик и Соня дали показания, но они утеряны. В ходе заседания выяснилось, что укравший муку дал правдивые показания.

@HEAD5 · 06.01.2016, 22:57 **[ТС]**

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
predicates
imya(symbol) - nondeterm (o) nondeterm (i)
ukradeno(symbol) - nondeterm (o)nondeterm (i)
sootvetstvie(symbol,symbol) - nondeterm (i,i)nondeterm (i,o)
reshenie(symbol,symbol,symbol,symbol,symbol,symbol) - nondeterm (i,i,i,i,i,i)nondeterm (o,o,o,o,o,o)
clauses
%baza dannih imen
imya(martovskyi zayac).
imya(bolvanshik).
imya(sonya).
%baza dannih ukradeno
ukradeno(martovskim zaycem).
ukradeno(bolvanshikom).
ukradeno(sonyei).
%opredelim odnoznachnoye sootvetstvie I - imya, U - ukradeno
sootvetstvie(I,U):-imya(I), I=martovskyi zayac, ukradeno(U)

Задумка правильная?

@arlat · 07.01.2016, 15:29

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

Задумка правильная?

Да словами опишите задачу. Решите от математической логики. Предоставьте в Прологе как видится.. потом помощь вже...

Добавлено через 57 секунд

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

Решите от математической логики.

вами пропущено...

Добавлено через 19 минут
а... и для особо одарённых - поиск по форуму

)))

Новые блоги и статьи Все статьи Все блоги /
Автозаполнение реквизита при выборе элемента справочника 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. Перед реализацией необходимо выполнить настройку системной учетной. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .

@HEAD5 0 / 0 / 1 Регистрация: 08.01.2014 Сообщений: 46

	Prolog. Задачи на соответствие 25.12.2015, 21:29. Показов 2250. Ответов 2 Метки нет (Все метки) Алиса в стране чудес. Загадка: Была украдена мука, ее нашли в домике, где жил Мартовский заяц, Болванщик и Соня. Мартовский заяц сказал: «Муку украл Болванщик». Болванщик и Соня дали показания, но они утеряны. В ходе заседания выяснилось, что укравший муку дал правдивые показания. 0