Problema com Recursividade

Amigos estou tentando resolver este problema mas, não consegui, gostaria de saber a solução do exercício abaixo.

Seja uma liguagem hipotética na qual não existem operadores para adição, nem subtração, porem existe uma função para incrementar um valor (INC(4)retorna 5). Defina uma função recursiva que ao receber dois numeros naturais X e Y, retorne a soma dos elementos. Em seguida, mostre como a recursão de cauda pode ser eliminada pode ser eliminada da função usando uma implementação iterativa(com comando de repetição).

Observação; se um dos valores numa soma é zero o resultado só pode ser o outro valor. Por outro lado, se ambos forem diferentes de zero, podemos ir tirando unidades dos primeiro e ir passando para o segundo; eventualmente o primeiro torna-se zero, e o segundo conterá o resultado da soma.

Estou com dúvidas neste exercício.

Desde já agradeço.