Essa é uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda?
Parece que eu encontrei uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda: Defina um subprocedimento auxiliar com um parâmetro "resultado" extra. Aplique o que seria aplicado ao valor de retorno do procedimento a esse parâmetro. Ligue para este procedimento...