Таково содержимое базы:
Код
%факты
parent(petr,ivan). %petr - родитель для ivan
parent(petr,olga).
parent(lidia,ivan).
parent(ivan,sergey).
parent(ivan,oleg).
parent(oleg,inna).
%процедуры
ancestor(A,B):-parent(A,B).
ancestor(A,B):-parent(C,B),ancestor(A,C).
brother(A,B):-parent(C,A),parent(C,B). %A - это брат B, если у них один родитель
Проблема в том, что при, например, таком запросе (кто для ivan братья):
Код
?- brother(X,ivan).
X = ivan ,
X = olga ,
X = ivan ,
no
ivan сам себе получается братом...
подскажите пожалуйста, как подправить это? и ещё, как учесть, что может быть отношение брат, а может быть сестра..?
Сообщение отредактировано: 18192123 -