Schrijf volgende predicaten voor het vergelijken van Peano getallen. Hierbij wordt 0 voorgesteld door 0 en 1 door s(0). In het algemeen wordt \(n\) voorgesteld door een 0 omringd door \(n\) keer s/1.

• less_strict(X,Y): X is strikt kleiner dan Y
• greater_strict(X,Y): X is strikt groter dan Y
• less_or_eq(X,Y): X is kleiner of gelijk aan Y
• greater_or_eq(X,Y): X is groter of gelijk aan Y