竹内関数って原始帰納的関数なのですか？
それともアッカーマン関数のように原始帰納的関数ではない帰納的関数なのでしょうか？

(define (tak x y z)
(if (> x y)
(tak (tak (- x 1) y z)
(tak (- y 1) z x)
(tak (- z 1) x y))
y))