Prolog powerset 谓词

Question

很难说出这里问的是什么。这个问题是含糊的、模糊的、不完整的、过于宽泛的或修辞性的，无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开它， visit the help center 。

已关闭 10 年前。

我希望定义一个谓词幂集(X, P)，当 P 是 X 的幂集时，该谓词幂集为真。无论 P 是否为基值，都应该有效。

Answer 1

由于您使用SICStus Prolog，您可以使用库(列表)中的subseq0(+Sequence, ?SubSequence)，“当SubSequence是Sequence的子序列时为真，但可能是Sequence本身”(引自手册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]]

如果您不允许使用库谓词，您可以按照 gnu Prolog powerset modification 中的说明实现subseteq0，为了完整起见，我在此处引用了该子集(感谢 gusbro)

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