split( [], _, [], [] ) :- !.
split( [H|T], P, [H|S], B ) :-
  H < P,!,
  split( T, P, S, B ).
split( [H|T], P, S, [H|B] ) :-
  split( T, P, S, B ).

qsort([],[]) :- !.
qsort( List, SortedList ) :-
  qsort_dl( List, SortedList-[] ).

qsort_dl( [], X-X ).
qsort_dl( [H|T], A-B ) :-
  split( T, H, X, Y ),
  qsort_dl( X, A-[H|W] ),
  qsort_dl( Y, W-B ).