Предикат предиката Prolog

Question

Я хочу определить предикатную силовую схему (X, P), которая истинна, когда P - это набор силовых элементов X. Должен работать независимо от того, заземлен или нет 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).