Как правильно написать факт в Prologe?

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

Здравствуйте, подскажите, правильно ли я записываю следующее предложение в базу пролога:Живет лягушка в воде и на земле.

живет(лягушка,вода,земля).

Решение задачи: «Как правильно написать факт в Prologe?»

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

живет(собака,земля).
живет(карп,вода).
живет(лягушка,вода).
живет(лягушка,земля).
 
живет(X,Y,Z):- живет(X,Z), живет(Y,Z), X \= Y.
 
живет_среда(Xs,Z):- setof(Z,X^живет(X,Z),Zs), member(Z,Zs), findall(X,живет(X,Z),Xs).

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

Утверждения живет(собака,земля) и живет(карп,вода) определяют места обитания двух разных существ.
Утверждение живет(лягушка,вода) определяет место обитания лягушки - вода.
Утверждение живет(лягушка,земля) определяет место обитания лягушки - земля.
Утверждение живет(X,Y,Z):- живет(X,Z), живет(Y,Z), X \= Y. определяет правило, что если два разных существа X и Y обитают в одной и той же среде Z, то мы можем сделать вывод, что они обитают в разных средах.
Утверждение живет_среда(Xs,Z):- setof(Z,X^живет(X,Z),Zs), member(Z,Zs), findall(X,живет(X,Z),Xs). определяет функцию, которая находит все существа, обитающие в определенной среде, и выводит их.