home *** CD-ROM | disk | FTP | other *** search
- class qsort {
- method:
- public main ().
- private loop (int J).
- qsort (int* ?Sorted).
- sort (int* Unsorted, ?Sorted, Temp).
- partition (int* Nums; int Val;
- int* ?Littles, ?Bigs).
- }
-
- qsort {
- main() |- loop(10000).
-
- loop(0).
- loop(J') |- qsort(_); loop(J-1).
-
- qsort(S) :- sort([27,74,17,33,94,18,46,83,65, 2,
- 32,53,28,85,99,47,28,82, 6,11,
- 55,29,39,81,90,37,10, 0,66,51,
- 7,21,85,27,31,63,75, 4,95,99,
- 11,28,61,74,18,92,40,53,59, 8],S',[]).
-
- sort([],R,R').
- sort([X'|L'],R,R0') |-
- partition(L,X,L1',L2');
- sort(L2,R1',R0);
- sort(L1,R',[X|R1]).
-
- partition([],_,[],[]).
- partition([Y'|L'],X',[Y|L1],L2) :- Y<=X |- partition(L,X,L1',L2').
- partition([Y'|L'],X',L1,[Y|L2]) :- Y> X |- partition(L,X,L1',L2').
- }
-