Prolog (SWIPL), 129/137 ไบต์
g(1,R):-u(3,4,R).
g(L,R):-M is L-1,g(M,P),u(3,P,R).
u(N,1,R):-R is 3**N.
u(1,_,3).
u(N,M,R):-K is N-1,L is M-1,u(K,M,Y),u(Y,L,R).
ในการส่งออกหมายเลขของ Graham ให้ทำการค้นหาg(64,G).
(ถ้านับจำนวน 8 ไบต์ของแบบสอบถามนี้ความยาวคือ 137 ไบต์):
?- g(64, G).
ERROR: Out of local stack
แต่อย่างที่ควรจะเป็น
ทดสอบ
?- u(3, 2, X).
X = 7625597484987
การย้อนรอยทำให้เกิดการซ้อนทับกัน:
?- u(3, 2, X).
X = 7625597484987 ;
ERROR: Out of local stack
Ungolfed
เวอร์ชันที่ไม่ได้รับการเสริมจะเพิ่มสัญกรณ์ลูกศรขึ้นโดยทั่วไปไม่ใช่เฉพาะสำหรับ 3 และใช้การตัดและตรวจสอบเพื่อหลีกเลี่ยงการย้อนรอยและสถานการณ์ที่ไม่ได้กำหนด
% up-arrow notation
u(X, 1, _M, X) :- !.
u(X, N, 1, R) :-
R is X**N, !.
u(X, N, M, R) :-
N > 1,
M > 1,
N1 is N - 1,
M1 is M - 1,
u(X, N1, M, R1),
u(X, R1, M1, R).
% graham's number
g(1,R) :- u(3, 3, 4, R), !.
g(L,R) :-
L > 1,
L1 is L - 1,
g(L1,G1),
u(3, G1, R).