Problem Tail Recursion

Problem Tail Recursion

Frage:

Leider kann der rekursive Aufruf bei der Tail Recursion nicht immer ohne weiteres ans Ende gestellt werden, da ggf. andere Prädikate im Rumpf die von ihm instanzierten Variablen benötigen.

 

Wie wird dieses Problem gelöst?

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.