Ackermann函數可用遞推關系如下定義
A（m，0）=A（m-1，0） m=1，2，…
A（m，n）=A（m-1，A（m，n-1）） m=1，2，… n=1，2，…
初始條件為
A（0，n）=n+1，n=0，1，…
(define?(A?x?y)
??(cond?((=?y?0)?0)
????????((=?x?0)?(*?2?y))
????????((=?y?1)?2)
????????(else?(A?(-?x?1)
?????????????????(A?x?(-?y?1))))))