1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
% generated: 17 November 1989
% option(s): SOURCE_TRANSFORM_1
%
% tak
%
% Evan Tick (from Lisp version by R. P. Gabriel)
%
% (almost) Takeuchi function (recursive arithmetic)
% uses global variables to tabulate results
tak_gvar(ShowResult) :-
init_tak_array,
tak(18,12,6,R),
( ShowResult = true ->
write(tak(18,12,6)=R), nl
; true).
init_tak_array:-
g_assign(tak,g_array_auto(20,g_array_auto(20,g_array_auto(20,null)))).
tak(X,Y,Z,A):-
g_read(tak(X,Y,Z),A1),
(integer(A1) -> A=A1
; tak1(X,Y,Z,A),
g_assign(tak(X,Y,Z),A)).
tak1(X,Y,Z,A):-
X =< Y,
Z = A.
tak1(X,Y,Z,A):-
X > Y,
X1 is X - 1,
tak(X1,Y,Z,A1),
Y1 is Y - 1,
tak(Y1,Z,X,A2),
Z1 is Z - 1,
tak(Z1,X,Y,A3),
tak(A1,A2,A3,A).
% benchmark interface
benchmark(ShowResult) :-
tak_gvar(ShowResult).
:- include(common).
|
