testNonTailRecursion
Same recursive theory as testTailRecursion, but with it.unibo.tuprolog.solve.flags.LastCallOptimization off: the logic stack trace grows by one frame per recursive call, ending up n + 2 frames deep.
Same recursive theory as testTailRecursion, but with it.unibo.tuprolog.solve.flags.LastCallOptimization off: the logic stack trace grows by one frame per recursive call, ending up n + 2 frames deep.