Prolog - ¿Como generar combinaciones, variaciones, etc ?

¿Cómo sería un programa que genere las combinaciones de N elementos tomados de M en M de una lista dada?

quizás algo tarde pero en el 2001 estaba en el insti XDDDD!!

%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% %%% CULTURILLA COMBINATORIA

permutaciones2([],[]).
permutaciones2([X|Xs],PXs):-
permutaciones2(Xs,Ps),
select(X,PXs,Ps).

combinaciones(0,_,[]).
combinaciones(_,[],[]).
combinaciones(_,[X],[X]).
combinaciones(N,[X|Xs],[X|Xs]):-
length([X|Xs],N).
combinaciones(N,[X|Xs],Solu):-
length([X|Xs],N2),
N2>N,
select(_Z,[X|Xs],S),
combinaciones(N,S,Solu).


combinacion2(0,_Xs,[]).
combinacion2(N,[X|Xs],[X|Cs]) :-
N>0,
N1 is N-1,
combinacion2(N1,Xs,Cs).
combinacion2(N,[_X|Xs],Cs) :-
N>0,
combinacion2(N,Xs,Cs).

Necesito urgentemente un programilla sencillito que me haga lo siguiente:

variation(L,N,V) es cierto cuando V es una variacion de orden N(natural en aritmetica de peano) de la lista L

Gracias

Necesito urgentemente un programilla sencillito que me haga lo siguiente:

variation(L,N,V) es cierto cuando V es una variacion de orden N(natural en aritmetica de peano) de la lista L

Gracias

tambien lo estamos buscando hijo suerte :D