
memb(X,[X|L]) :- !.
memb(X,[_|L]) :- memb(X,L).

bsort(L1,L2) :- 
       append(Sorted,[Big,Small|Rest],L1),
       Small < Big, !,
       append(Sorted,[Small,Big|Rest],BetterL1),
       bsort(BetterL1,L2).
bsort(L1,L1).
append([],K,K).
append([X|L],K,[X|M]) :- append(L,K,M).
