Puedes obtener todas las sublistas de una lista como si se tratase de su conjunto potencia, recursivamente. En el caso base, el conjunto potencia de una lista vacía []
es únicamente la lista vacía:
sublists([],[]).
Y el conjunto potencia de una lista con cabeza y cola [X|Xs]
será las listas del conjunto potencia de la cola Xs
, incluyendo y sin incluir la cabeza X
:
sublists([_|Xs],Ys) :- sublists(Xs,Ys).
sublists([X|Xs],[X|Ys]) :- sublists(Xs,Ys).
Ahora puedes primero filtrar los elementos de la lista que satisfagan el predicado mediante include/3
, obtener el conjunto potencia de la lista filtrada mediante sublists/2
, y quedarte únicamente con las soluciones del tamaño deseado mediante length/2
:
sublists(Xs,Zs,S,P) :-
include(P,Xs,Ys),
length(Zs,S),
sublists(Ys,Zs).
Por ejemplo, definimos los predicados even/1
y lt5/1
que verifican si un número es par o menor que 5, respectivamente:
even(X) :- 0 is X mod 2.
lt5(X) :- X < 5.
Y obtenemos todas las sublistas de números pares tomados de 2 en 2 de la lista [1,2,3,4,5,6]
:
?- sublists([1,2,3,4,5,6],Xs,2,even).
Xs = [4, 6] ;
Xs = [2, 6] ;
Xs = [2, 4] ;
false.
O todas las sublistas de números menores que 5 tomados de 3 en 3:
?- sublists([1,2,3,4,5,6],Xs,3,lt5).
Xs = [2, 3, 4] ;
Xs = [1, 3, 4] ;
Xs = [1, 2, 4] ;
Xs = [1, 2, 3] ;
false.