% Was ist eine Peano-Zahl?
isPeano(o).
isPeano(s(N)) :- isPeano(N).

% Nachfolger einer Peano-Zahl:
succ(N, s(N)).

% Vorgaenger einer Peano-Zahl:
pred(s(N), N).

% Addition auf Peano-Zahlen:
add(o,N,N) :- isPeano(N).
add(s(M),N,s(MN)) :- add(M,N,MN).

% Subtraktion auf Peano-Zahlen:
sub(X,Y,Z) :- add(Y,Z,X).

% Multiplikation auif Peano-Zahlen:
mult(o,_,o).
mult(s(M),N,P) :- mult(M,N,MN), add(MN,N,P).

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