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

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

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

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

Prolog

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').

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

	27.10.2016, 16:11

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

Решение