sample/unary_numbers/GCM2023/AckSZ-3_10.in


1
2
3
4
5
6
7
8
9
10
11
12
13

// Ackermann function on unary natural numbers

ack(r,y)>< Z    => r~S(y);
ack(r,y)>< S(x) => ack_Sx(r, x)~y;
ack_Sx(r,x)>< Z    => ack(r, S(Z))~x;
ack_Sx(r,x)>< S(y) => Dup(x1,x2)~x, ack(r,cnt)~x1, ack_Sx(cnt,x2)~y;

// ack 3 10
//          1 2 3 4 5 6 7 8 9 0
ack(result, S(S(S(S(S(S(S(S(S(S(Z)))))))))))~S(S(S(Z)));

prnat result;
exit;