tuPrologTailRecursion