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

Формулировка задачи:

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

rest('sasha', 'urmala').
rest('anna', 'antalia').
rest('dima', 'urmala').
rest('dima', 'baku').

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

Решение задачи: «Базы знаний SWI Prolog»

textual
                            Листинг программы 
                        
                            rest('sasha', X), rest('dima', X).