<div class="notebook">

<div class="nb-cell markdown" name="md1">
## 03.04. greater_than
</div>

<div class="nb-cell markdown" name="md2">
Definiere ein zweistelliges 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:
</div>

<div class="nb-cell markdown" name="md3">
?- 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.
</div>

<div class="nb-cell program" data-background="true" name="p1">
% greater_than/2
% greater_than(X,Y)

% Füge in der nächsten Zeile deinen Code ein
</div>

<div class="nb-cell markdown" name="md4">
### Testen der Lösung
Hier kannst du deine Lösung testen, indem du die Query ausführst und die Rückgaben vergleichst.
</div>

<div class="nb-cell query" name="q1">
write("0 nicht groesser 0 : false "), greater_than(0,0).
</div>

<div class="nb-cell query" name="q9">
write("1 groesser 0 : true "), greater_than(succ(0),0).
</div>

<div class="nb-cell query" name="q8">
write("2 groesser 0: true "),greater_than(succ(succ(0)),0).
</div>

<div class="nb-cell query" name="q7">
write("0 nicht kleiner 1: false "),	greater_than(0,succ(0)).
</div>

<div class="nb-cell query" name="q6">
write("0 nicht kleiner 2 : false "), greater_than(0,succ(succ(0))).
</div>

<div class="nb-cell query" name="q5">
write("fuer groessere Zahlen korrekt. X gleich Y: false "), greater_than(succ(succ(succ(succ(succ(succ(succ(succ(0)))))))),succ(succ(succ(succ(succ(succ(succ(succ(0))))))))).
</div>

<div class="nb-cell query" name="q4">
write("fuer groessere Zahlen korrekt. X groesser Y : true "), greater_than(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(0)))))))))))))))),succ(succ(succ(succ(succ(succ(succ(succ(0))))))))).
</div>

<div class="nb-cell query" name="q3">
write("fuer groessere Zahlen korrekt X gleich Y: false "), greater_than(succ(succ(succ(succ(succ(succ(succ(succ(0)))))))),succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(succ(0))))))))))))))))).
</div>

</div>