ПРОЛОГ. Функция Аккермана.

[pupilMartyr]

Добрый вечер. Подскажите, пож. решение задачи: функция Аккермана (ru.wikipedia.org/wiki/Функция_Аккермана), рекурсивно, на ПРОЛОГЕ.
Вот мои попытки. Не могу разобраться почему не работает, кажется все верно...

Ak(0,N,Val):- Val=N+1.
Ak(M,0,Val):- M1=M-1, Ak(M1,1,Val).
Ak(M,N,Val):- M1=M-1, N1=N-1, Ak(M,N1,Val1), Ak(M1,Val1,Val).