4programmers.net 4p Forum Inne języki programowania Prolog dodawanie

Prolog dodawanie

Prolog dodawanie
fucidin
FU
  • Rejestracja: dni
  • Ostatnio: dni
  • Postów: 18
0

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

Kopiuj
add(zero, X, X):-isnumber(X).
add(s(X), Y, s(Z)):-add(X, Y, Z).
Udostępnij
Komentuj
hauleth
hauleth
  • Rejestracja: dni
  • Ostatnio: dni
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.

Udostępnij
Komentuj

Zarejestruj się i dołącz do największej społeczności programistów w Polsce.

Otrzymaj wsparcie, dziel się wiedzą i rozwijaj swoje umiejętności z najlepszymi.

Utwórz konto