Родственные отношения, Prolog Опции

[18192123]

Здравствуйте!

Таково содержимое базы:

Код

%факты
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 - 1.03.2009 0:24

[volvo]

Почему же нельзя? Можно, тот же Турбо-Пролог нормально компилирует это. Но только тогда, когда в Predicates (не знаю, как это называется в твоем компиляторе, там, где пишутся прототипы всех функций) описаны прототипы Man и Woman

[18192123]

...нормально компилирует это. Но только тогда, когда в Predicates (не знаю, как это называется в твоем компиляторе, там, где пишутся прототипы всех функций) описаны прототипы Man и Woman

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

Код

gander(petr,M).
gander(ivan,M).
gander(oleg,M).
gander(sergey,M).
gander(lidia,W).
gander(olga,W).
gander(inna,W).
parent(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),not(A=B),gander(A,M).

Проходит без ошибок, но никаких изменений в результатах...на запрос о братьях ivan выдает olga, хотя должно быть no...

Код

?- brother(X,ivan).

X = olga ,
no
?-