quicksort.pl

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:08.0
disk size 440 Bytes
downloadable true
type
attribute value
name no_type
processor id 1
description this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community none
loading contents 
%query: qs(i,o).
qs([X|Xs],Ys) :- part(X,Xs,Littles,Bigs),
                 qs(Littles,Ls),
                 qs(Bigs,Bs),
                 app(Ls,[X|Bs],Ys).
qs([],[]).

part(X,[Y|Xs],[Y|Ls],Bs) :- X>Y, part(X,Xs,Ls,Bs).
part(X,[Y|Xs],Ls,[Y|Bs]) :- X=<Y, part(X,Xs,Ls,Bs).
part(X,[],[],[]).

app([X|Xs],Ys,[X|Zs]) :- app(Xs,Ys,Zs).
app([],Ys,Ys).

/*TWDESC

The quick sort algorithm

*/

/*TWDEMO

selected_norms([listlength]).
*/
/*.

*/
popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark