Write predicates to compare Peano numbers. In this system, \(0\) is presented by 0, \(1\) by s(1), \(2\) by s(s(0)), and so on. To be precise, \(n\) is represented by taking 0 and wrapping it \(n\) times with s/1.

The predicates that need to be written are:

• less_strict(X,Y): X is strictly less than Y
• greater_strict/2: X is strictly larger than Y
• less_or_eq(X,Y): X is less or equal to Y
• greater_or_eq/2: X is larger or equal to Y