SHOW:
|
|
- or go back to the newest paste.
| 1 | natural(0). | |
| 2 | ||
| 3 | natural(s(X)) :- natural(X). | |
| 4 | ||
| 5 | mais(0, X, X) :- natural(X). | |
| 6 | mais(s(X), Y, s(Z)) :- mais(X, Y, Z). | |
| 7 | ||
| 8 | multiplicacao(0, X, 0). | |
| 9 | multiplicacao(s(X), Y, Z) :- multiplicacao(X, Y, XY), mais(XY, Y, Z). | |
| 10 | ||
| 11 | ||
| 12 | exp(X, 0, 0). | |
| 13 | exp(0, s(X), s(0)). | |
| 14 | exp(s(N), X, Y) :- exp(N, X, Z), multiplicacao(X, Z, Y). |
