| есть база
jivet(zebra,zemlua).
 jivet(sobaka,zemlua).
 jivet(carp,voda).
 jivet(cit,voda).
 jivet(coshka,X):-jivet(sobaka,X).
 jivet(crocodil,voda).
 jivet(crocodil,zemlua).
 jivet(utka,voda).
 jivet(utka,zemlua).
 jivet(utka,vozduh).
 jivet(orel,zemlua).
 jivet(orel,vorduh).
 jivet(burevestnic,voda).
 jivet(burevestnic,vozduh).
 
 jivotnoe(zebra).
 jivotnoe(sobaka).
 jivotnoe(carp).
 jivotnoe(cit).
 jivotnoe(coshka).
 jivotnoe(crocodil).
 jivotnoe(utka).
 jivotnoe(orel).
 jivotnoe(burevestnic).
 Нужно найти животных,которые живут хотябы в 2х средах обитания.
 Запрос через надрез: кто живет хотябы в 2 средах обитания?
 сcel(X):-jivotnoe(X),[! jivet(X,Y),jivet(X,Z),Y\=Z !].
 Как эту же задачу решить с помощюь отсечения?Помогите, плиз. Препод мне подсказал, что должно быть у меня 2  правила.
 У меня ничего кроме  такого не выходит...
 cell(X,Y):-jivotnoe(X),jivet(X,Y).
 cel(X):- !,cell(X,Y),cell(X,Z),Y\=Z.
 
 |