gnu Prolog powerset修改

Question

所以我为powerset得到了这个:

powerset([], []).
powerset([H|T], P) :- powerset(T,P).
powerset([H|T], [H|P]) :- powerset(T,P).

这会生成所有列表集.是否可以按列表顺序生成所有集合.

例:

List = [a,b,c]

我想得到

[a],[a,b],[a,b,c],[b],[b,c],[c]

请注意[a,c],此子集列表中没有,因为这些是从左侧开始向右侧的子集.

我尝试过使用append和recursion的组合,但这并不是我想要的.在这一点上有点难过.

谢谢.

Answer 1

怎么样

powerset(L, [H|T]):-
  append([H|T], _, L).
powerset([_|L], P):-
  powerset(L, P).