annotate Examples/sorter/pipe_sort @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
1
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
2 test :- Strdata = [10,20,5,100,1,6,2,3],
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
3 datagen(Strdata,Data),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
4 pipe(Data,Out),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
5 length(18),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
6 #write(Out).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
7
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
8 % Data Generator
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
9
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
10 datagen([],[]).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
11 datagen([H|T],Out) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
12 Out = [H],
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
13 @T = T, @datagen(T,Out).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
14
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
15 % Pipeline Merge Sorter
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
16
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
17 pipe(I0,Out) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
18 I1 = [], I2 = [], Out = [],
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
19 proc_start(I0,I1, 2,1),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
20 proc_start(I1,I2, 4,2),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
21 proc_start(I2,Out,8,4).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
22
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
23 % Processor Unit
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
24
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
25 proc_start(I,O,P,PP) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
26 X = [], Y = [], Z = [], T = 1,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
27 #proc(I,O,X,Y,Z,T,P,PP).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
28
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
29 proc(I,O,X,Y,Z,T,P,PP) :- X=[],Y=[],I=[],!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
30 @X=X, @Y=Y, @Z=Z, @O=[], @T=1.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
31 proc(I,O,X,Y,Z,T,P,PP) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
32 load(I,O,X,Y,Yn,Z,Zn,T,P,PP),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
33 merge(I,O,X,Y,Yn,Z,Zn,T,P,PP).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
34
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
35 load(I,O,X,Y,Yn,Z,Zn,T,P,PP) :- T=<PP, !,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
36 append(Z,I,Zn), @Z=Zn, Yn=Y,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
37 @T=T+1.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
38 load(I,O,X,Y,Yn,Z,Zn,T,P,PP) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
39 append(Y,I,Yn), @Z=[],
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
40 (if T<P then @T=T+1 else @T=1).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
41
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
42 merge(I,O,X,Y,Yn,Z,Zn,T,P,PP) :-X=[],Yn=[],!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
43 @O=[], @Y=Yn,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
44 (if T=PP then @X=Zn else @X=X).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
45 merge(I,O,X,Y,Yn,Z,Zn,T,P,PP) :- X=[A|L],Yn=[],!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
46 @O=[A], @Y=Yn,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
47 (if T=PP then @X=Zn else @X=L).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
48 merge(I,O,X,Y,Yn,Z,Zn,T,P,PP) :-X=[],Yn=[B|N],!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
49 @O=[B], @Y=N,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
50 (if T=PP then @X=Zn else @X=X).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
51 merge(I,O,X,Y,Yn,Z,Zn,T,P,PP) :-X=[A|L],Yn=[B|N],!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
52 (if A<B then
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
53 @O=[A], @X=L, @Y=Yn
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
54 else
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
55 @O=[B], @Y=N, @X=X).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
56
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
57 append(Nil,L,L1) :- Nil=[],L=L1.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
58 append(X,L,Y) :-[H|T]=X,[H1|M]=Y,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
59 H=H1,append(T,L,M).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
60