rodz. warunki

temat przedawniony. spam.

Nie znam się na Prologu ale wydaje mi się, że przy klaudiusz:

• pierwszy klaudiusz wynik z
  brat(germanik, klaudiusz).
• drugi klaudiusz wynika z warunków
  brat(X, Y) :- ojciec(Z, X), ojciec(Z, Y), mezczyzna(X).
  ojciec(druzus, germanik).
  ojciec(druzus, klaudiusz).
  mezczyzna(X)
• wynik germanik wynika z faktu, że w poniższym
  brat(X, Y) :- ojciec(Z, X), ojciec(Z, Y), mezczyzna(X).
  nie ma warunku, że X musi być różne od Y tak więc 'germanik' jest sam dla siebie bratem.

Brytanik wychodzi chyba też z powodu, że klaudiusz jest sam dla siebie bratem.