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
|
module rev14.
rev L RL :- aux L xnil RL .
aux xnil L L .
aux (xcons X XS) ACC R :- aux XS (xcons X ACC) R .
append xnil L L .
append (xcons X XS) L (xcons X L1) :- append XS L L1 .
main :-
X1 = (xcons x1 (xcons x2 (xcons x3 (xcons x4 (xcons x5 (xcons x6 (xcons x7 (xcons x8 (xcons x9 (xcons x10 xnil)))))))))),
append X1 X1 X2 ,
append X2 X2 X3 ,
append X3 X3 X4 ,
append X4 X4 X5 ,
append X5 X5 X6 ,
append X6 X6 X7 ,
append X7 X7 X8 ,
append X8 X8 X9 ,
append X9 X9 X10 ,
append X10 X10 X11 ,
append X11 X11 X12 ,
append X12 X12 X13 ,
append X13 X13 X14 ,
% append X14 X14 X15 ,
% append X15 X15 X16 ,
% append X16 X16 X17 ,
% append X17 X17 X18 ,
X = X14 ,
rev X Y, rev Y Z, X = Z.
|
