03.04.01. greater_than
Definieren Sie 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.