प्रोलॉग (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).
ग्राहम की संख्या का उत्पादन करने के लिए, g(64,G).
यदि इस क्वेरी के 8 बाइट्स गिने जाने हैं, तो लंबाई 137 बाइट्स है:
?- g(64, G).
ERROR: Out of local stack
लेकिन जैसा कि उम्मीद की जा सकती है, यह स्टैक से बाहर निकलता है।
परीक्षा
?- u(3, 2, X).
X = 7625597484987
Backtracking यह स्टैक से बाहर निकलने का कारण बनता है:
?- 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).