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).
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).
To co podałeś to jest definicja dodawania liczb Peano.
Zgodnie z tą aksjomatyką posiadamy element zerowy () oraz funkcję następnika (). Następnie dodawanie jest zdefiniowane jako:
Czyli dokładnie to co masz zapisane w Prologu.