% Eigenschaft: es ist eine Peano-Zahl
isPeano(o).
isPeano(s(N)) :- isPeano(N).

% arithmetische Operationen:

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

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

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

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

% Multiplikation:
mult(o,_,o).
mult(s(N),M,P) :- mult(N,M,X), add(X,M,P).

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