есть база
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.
|