List

potenz_menge([], [[]]).
potenz_menge([X|Xs],L):-potenz_menge(Xs,L1),
 mischung(X,L1,L2),
 append(L2,L1,L).

mischung(_,[],[]).
mischung(X,[Y|Ys],[Z|Zs]):-append([X],Y,Z),
 mischung(X,Ys,Zs).

naive_sort(List,Sorted):-perm(List,Sorted),is_sorted(Sorted).

is_sorted([]).
is_sorted([_]).
is_sorted([X,Y|T]):-X=<Y,is_sorted([Y|T]).

zip([],[],[]).
zip([Xs],[Ys],[L,X,Y]):-zip([X|Xs],[Y|Ys],L).