我希望定义一个谓词powerset(X,P),当P是X的powerset时,它是真的.无论P是否为地,都应该工作.
prolog powerset sicstus-prolog
powerset ×1
prolog ×1
sicstus-prolog ×1