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] 因为这些子集是从左侧开始向右的。

我尝试过使用追加和递归的组合，但这并没有达到我想要的效果。此时小小就愣住了。

谢谢。

Answer 1

怎么样

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

Answer 2

我知道这是一篇旧文章，但我不会无缘无故地更新它。
得到所有尊重的答案，单独生成所有子集，并且不生成幂集。

几天前，我试图实现一个 powerSet/2 谓词，而不使用内置谓词 bagof/2。但即使使用 bagof/2 和 setof/2 对于初学者来说这也不是一个很容易的问题（单独生成所有子集是另一个问题，而且要容易得多）。因此，在实现该解决方案之后，我认为最好将其放在这里，以防止正在搜索该主题的人出错。

我的解决方案（没有 bagof/2）

generate(X, [Y], [[X| Y]]).

generate(X, S, P) :-
        S = [H| T],
        append([X], H, Temp),
        generate(X, T, Rest),
        append([Temp], Rest, P), !.

powerSet([], [[]]).

powerSet(Set, P) :-
        Set = [H| T],
        powerSet(T, PsT),
        generate(H, PsT, Ps),
%       write('trying to push '), print(H), write(' to '),
%       write('all elements of powerset of '), print(T), write(' which is '),
%       print(PsT), nl,
%       write('and the result is '), print(Ps), nl, nl,
        append(Ps, PsT, P), !.

如果参考注释行，

代码将会被理解。 此处提供了另一种解决方案，它使用内置谓词bagof/3 。

也许现在会更有帮助。

Answer 3

您需要所有子序列子字符串（定义）。语法（DCG）最适合这个：

seq([]) -->
   [].
seq([E|Es]) -->
   [E],
   seq(Es).

... --> [] | [_], ... .

?- Es = [_|_], phrase((..., seq(Es), ...), [A,B,C]).
   Es = [A]
;  Es = [A, B]
;  Es = [A, B, C]
;  Es = [B]
;  Es = [B, C]
;  Es = [C]
;  false.

Answer 4

这个怎么样：

powerset(A,B):-
    append(A,_,B);
    append(_,A,B).

test():-
    setof(X,powerset(X,[1,2,3]),L),
    writeln(L).