levag(0,L,L). levag(N,[_|L1],L2):- M is N-1, levag(M,L1,L2). createlist(M,OL,NL):- length(OL,N), O is N-M, levag(O,OL,NL). compare([],_). compare([A],[A|_]). compare([A|L1],[B|L2]):- A=B, compare(L1,L2). katfedo(0,[],[]). katfedo(K,X,Y):- createlist(K,X,X2), compare(X2,Y).