03.04.03. greater_than – Version B

Hier wird die Lösungsmöglichekeit Version B betrachtet. Wenn du in der Quizfrage zur Ankerklausel eigentlich Version A intuitiver fandest, dann klicke einfach auf zurück und ignoriere später diese Quizseite.

Version B

Intuition der Implementierung:

Nachdem in der rekursiven Klausel X und Y beide reduziert werden, sagt die Ankerklausel, dass X größer als 0 ist.

In diesem Quiz geht es darum, die korrekte Ankerklausel zu 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.