Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
partition( [] , [] , [] ) . partition( [L] , [L] , [] ) . partition( [L,R|Xs] , [L|Ls] , [R|Rs] ) :- partition(Xs,Ls,Rs) . merge( [] , [] , [] ) . merge( [L|Ls] , [] , [L|Ls] ) . merge( [] , [R|Rs] , [R|Rs] ) . merge( [L|Ls] , [R|Rs] , [L|Xs] ) :- L @=< R, merge( Ls , [R|Rs] , Xs ) . merge( [L|Ls] , [R|Rs] , [R|Xs] ) :- L @> R, merge( [L|Ls] , Rs , Xs ) . merge_sort( [] , [] ) . merge_sort( [X] , [X] ) . merge_sort( [X,Y|Zs] , Ys ) :- partition( [X,Y|Zs], L0, R0 ) , merge_sort(L0,Ls), merge_sort(R0,Rs), merge(Ls,Rs,Ys) .