temat przedawniony. spam.
0
1
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.