Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- natural(0).
- natural(s(X)) :- natural(X).
- mais(0, X, X) :- natural(X).
- mais(s(X), Y, s(Z)) :- mais(X, Y, Z).
- multiplicacao(0, X, 0).
- multiplicacao(s(X), Y, Z) :- multiplicacao(X, Y, XY), mais(XY, Y, Z).
- exp(X, 0, 0).
- exp(0, s(X), s(0)).
- exp(s(N), X, Y) :- exp(N, X, Z), multiplicacao(X, Z, Y).
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement