Запрос SWI prolog

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

Добрый вечер! подскажите пожалуйста, есть такая задачка, кто где живет

живет('Зебра', X):- X=земля.
живет('Собака', X):- X=земля.
живет('Карп', X):- X=вода.
живет('Кит', X):- X=вода.
живет('Кошка', X):- живет('Собака',X).
живет('Крокодил', X):- X=земля ; X=вода.
живет('Лягушка', X):- X=земля ; X=вода.
живет('Утка', X):- X=земля ; X=вода ; X=воздух.
живет('Орел', X):- X=земля ; X=воздух.
живет('Буревестник', X):- X=вода ; X=воздух.

Пишу вот так. возникла проблема с запросом, как спросить: Кто живет ровно в одной среде обитания?

Решение задачи: «Запрос SWI prolog»

Листинг программы

однаСреда(X) :-
    findall(Y, живет(X, Y), L),     % соберем в список L все такие Y, что живет(X, Y)  
    L = [_].                        % проверим, что в этом списке только один элемент (любой)

Объяснение кода листинга программы

X - переменная, которая должна быть установлена в некоторое значение, при котором выполняется условие живет(X, Y).
Y - переменная, которая должна быть установлена в некоторое значение, при котором выполняется условие живет(X, Y).
L - переменная, которая будет содержать список всех значений Y, при которых выполняется условие живет(X, Y).
_ - специальный символ, который обозначает пустое значение или отсутствие значения. В данном случае он используется для проверки, что в списке L только один элемент.