p([],_,[],[]).
p([H|T],X,[H|L],R):-
    p(T,X,L,R),
    t(X,X1),t(H,H1),H1<X1.
p([H|T],X,L,[H|R]):-
    p(T,X,L,R).
q([],[]).
q([H|T],X):-
    p(T,H,L,R),
    q(L,Ls),
    q(R,Rs),
    append(Ls,[H|Rs],X).
t(X,X1):-
    dzielniki(X,2,L),
    len(L,X1),!.

len([],0).
len([_|T],L):-
    len(T,L2),L is L2 + 1.
dzielniki(1,_,[]).
dzielniki(X,X,[X]).
dzielniki(X,D,[D|L]):-
    W is X mod D,
    W =:= 0,X1 is X / D,
    dzielniki(X1,D,L).
dzielniki(X,D,L):-
    D1 is D+1,
    dzielniki(X,D1,L).