Prolog powerset謂詞

Question

我希望定義一個謂詞powerset（X，P），當P是X的powerset時，它是真實的。無論P是否磨光都應該工作。

Answer 1

由於您使用SICStus Prolog，因此您可以使用庫（列表）中的subseq0（+ Sequence，？SubSequence），其中「當SubSequence是序列的子序列時爲真，但可能是序列本身」（引用手冊http://www.sics.se/sicstus/docs/4.0.2/html/sicstus/lib_002dlists.html）。

 ?- setof(X, subseq0([a,b,c],X), Xs). 
     Xs = [[],[a],[a,b],[a,b,c],[a,c],[b],[b,c],[c]] 

如果您不允許使用庫謂詞可以實現subseteq0爲gnu Prolog powerset modification，我在這裏引用爲完整起見（與感謝gusbro）

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