% Hilfsprädikat peano_to_int(+Peanozahl, -Ausgabe)
peano_to_int(0, Ausgabe) :-
Ausgabe = 0.

peano_to_int(s(Peanozahl), Ausgabe) :-
peano_to_int(Peanozahl, Ausgabe2),
Ausgabe is Ausgabe2 + 1.

% peano_groesser_gleich(+PeanoZahl1, +PeanoZahl2).

peano_groesser_gleich(PeanoZahl1, PeanoZahl2) :-
peano_to_int(PeanoZahl1, Int1),
peano_to_int(PeanoZahl2, Int2),
Int1 >= Int2.