LOL

tobin(0,[]):-!.
tobin(X,W):-mod(X,2)=:=0,!,Z is X/2,tobin(Z,W1),append(W1,[0],W).
tobin(X,W):-mod(X,w)\=0,Z is (X-1)/2,tobin(Z,W1),append(W1,[1],W).

listatobin([],[]):-!.
listatobin([H|T],W):-tobin(H,W1),listatobin(T,W2),W=[W1|W2].

licznik([],0):-!.
licznik([_],1):-!.
licznik([H|[H1|_]],1):-H\=H1,!.
licznik([H|H],1):-!.
licznik([H|[H|T]],W):-licznik([H|T],W1),W is W1+1.

ucinanie(W,0,W):-!.
ucinanie([],_,[]):-!.
ucinanie([_|T],W,W2):-W>0,!,W1 is W-1,ucinanie(T,W1,W3),W2=W3.

utnij([],[]):-!.
utnij(X,W):-licznik(X,C),ucinanie(X,C,W1),utnij(W1,W2),W=[C|W2].

utnijtab([],[]):-!.
utnijtab([H|T],W):-utnijtab(T,W1),utnij(H,W2),append([W2],W1,W).

pow(_,1,1):-!.
pow(X,Y,W):-Y>1,!,Y1 is Y-1,pow(X,Y1,W1),W is W1*X.

liczba([],0,0).
liczba([H|T],W,W1):-liczba(T,W2,W3),W is W2+1,pow(10,W,Z),W1 is W3+Z*H.

tablica([],[]):-!.
tablica([H|T],W):-liczba(H,_,W1),tablica(T,W2),append([W1],W2,W).

babel([X],[X],[Y],[Y]).
babel([H|[H1|T]],W,[H10|[H11|T10]],W2):-H>H1,!,W=[H1|[H|T]],W2=[H11|[H10|T10]].
babel([H|[H1|T]],W,[H10|[H11|T10]],W2):-H1>=H,!,babel([H1|T],W1,[H11|T10],W3),W=[H|W1],W2=[H10|W3].

sortbabel(W,W,W1,W1):-babel(W,W,W1,W1),!.
sortbabel(W,W1,W3,W4):-babel(W,L,W3,L3),L\=W,sortbabel(L,W2,L3,W5),W1=W2,W4=W5.

lol([],[]):-!.
lol(X,W):-listatobin(X,W1),utnijtab(W1,W2),tablica(W2,W3),sortbabel(W3,_,X,W).