Базы знаний SWI Prolog

@Линда95 · Регистрация: 22.11.2013

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

Есть база знаний, которая содержит правила вида отдыхать(имя, город).

Prolog
1
2
3
4
rest('sasha', 'urmala').
rest('anna', 'antalia').
rest('dima', 'urmala').
rest('dima', 'baku').

Подскажите, пожалуйста, как правильно составить запросы, которые выведут следующую информацию:
-где отдыхает и Саша и Дима;
-кто отдыхает и в Юрмале и в Баку.

@Black Fregat · 27.10.2016, 16:11

Сообщение от Линда95

-где отдыхает и Саша и Дима

Prolog
1
rest('sasha', X), rest('dima', X).

Сообщение от Линда95

-кто отдыхает и в Юрмале и в Баку

Prolog
1
rest(Y, 'urmala'), rest(Y, 'baku').

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

Новые блоги и статьи Все статьи Все блоги /
Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	1С: Контроль уникальности заводского номера Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git
1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .

Базы знаний SWI Prolog

Решение