Prolog dodawanie

0

Czy może mi ktoś wytłumaczyć jak działa dodawanie w prologu

add(zero, X, X):-isnumber(X).
add(s(X), Y, s(Z)):-add(X, Y, Z).
0

To co podałeś to jest definicja dodawania liczb Peano.

Zgodnie z tą aksjomatyką posiadamy element zerowy (0) oraz funkcję następnika (S : A \rightarrow A). Następnie dodawanie jest zdefiniowane jako:

a + 0 = a \<br> a + S(b) = S(a + b)

Czyli dokładnie to co masz zapisane w Prologu.

1 użytkowników online, w tym zalogowanych: 0, gości: 1