03.04.02. greater_than – Version A

Hier wird die Lösungsmöglichkeit Version A betrachtet. Wenn du in der letzten Frage eigentlich Version B intuitiver fandest, dann klicke einfach auf weiter und ignoriere diese Quizseite.

Version A

Intuition der Implementierung:

Nachdem in der rekursiven Klausel X immer um 1 reduziert wird, ist X in der Ankerklausel um 1 größer als Y.

In diesem Quiz geht es darum, die korrekte Ankerklauselzu finden. Wenn Du diese gefunden und verstanden hast, solltest als Du nächstes die passende rekursive Klausel schreiben.

Wenn Du beim Schreiben der Ankerklausel nicht genau weißt, wie Du in einem rekursiven Prädikat die Zahl succ(X) im rekursiven Aufruf um eins reduzieren kannst, schau Dir noch einmal das Prädikat numeral/1 aus der Vorlesung an.