isPeano(o).
isPeano(s(N)) :- isPeano(N).

add(o   ,M,M).
add(s(N),M,s(Z)) :- add(N,M,Z).

sub(M,N,Z) :- add(N,Z,M).

mult(o, _, o).
mult(s(N), M, X) :- mult(N,M,Y), add(Y,M,X).

leq(o, _).
leq(s(N),s(M)) :- leq(N,M).
