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
|
% generated: 17 November 1989
% option(s): SOURCE_TRANSFORM_1
%
% tak
%
% Evan Tick (from Lisp version by R. P. Gabriel)
%
% (almost) Takeuchi function (recursive arithmetic)
tak(ShowResult) :-
tak(18,12,6,R),
( ShowResult = true ->
write(tak(18,12,6)=R), nl
; true).
tak(X,Y,Z,A):-
X =< Y,
Z = A.
tak(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(ShowResult).
:- include(common).
|
