03.04. greater_than

Definiere ein Prädikat greater_than/2, das zwei natürliche Zahlen in der succ/1-Notation nimmt und überprüft, ob die erste Zahl größer ist als die zweite:

?- greater_than(succ(succ(succ(0))),succ(0)).
true.
?- greater_than(succ(succ(0)),succ(succ(succ(0)))).
false.
?- greater_than(succ(0),succ(0)).
false.

Du kannst deine Idee entweder direkt umsetzen und programmieren oder du schaust dir vorher noch die Unteraufgaben an