Пролог найти все подмножества, соответствующие условию

Question

Я пытаюсь решить проблему в SWI-Prolog. У меня есть список подходящих элементов (констант), полученных с помощью.

suitables(L) :- setof(X, isSuitable(X), L). 

Каждый элемент сверху имеет счет через функтор, и мне нужно все подмножества, которые имеют балл> 10. Я знаю, как получить сумму оценки:

scoreSum([], 0). 
scoreSum([H,T], Tot) :- getScore(H,F),scoreSum(T, Rest), Tot is F+Rest. 

и условие может быть выражено следующим образом:

cond(L) :- scoreSum(L, R), R > 10. 

Как получить все подмножества, соответствующие данному условию? Я могу получить подмножества на основе ответа here, но как мне перебрать этот результат, чтобы получить только подмножества, соответствующие условию?

Answer 1

Я думаю, что нашел решение, в котором я нуждался, хотя я не уверен, что он эффективен или рекомендуется. При условии, что следующие функторы:

isSuitable(X) :- ... 

scoreSum([], 0). 
scoreSum([H,T], Tot) :- getScore(H,F),scoreSum(T, Rest), Tot is F+Rest. 

и условие:

cond(L) :- scoreSum(L, R), R > 10. 

я могу получить только наборы, которые удовлетворяют заданному условию:

suitables(L) :- setof(X, isSuitable(X), S), setof(R, (powerset(S, R), cond(R)),L). 

Где Powerset дает мне все подмножества данный комплект:

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

Итак, вместо получения всех комбинаций, я основывался на this question, чтобы получить все наборы списка.

Answer 2

Предоставленные scoreSum/2 начинается с scoreSum([H|T], Tot) :- ...

seq_subseq([], []). 
seq_subseq([_|Es], Fs) :- 
    seq_subseq(Es, Fs). 
seq_subseq([E|Es], [E|Fs]) :- 
    seq_subseq(Es, Fs). 

possiblesubset(S) :- 
    suitables(L), 
    seq_subseq(L, S), 
    cond(S). 

?- setof(S, possiblesubset(S), Subs). 

?- setof(S, (suitables(L), seq_subseq(L,S), cond(S)), Subs). % No L^ needed ; there is only one L. 

Однако, это довольно необычно для представления таких наборов в явном виде, просто потому, что Пролог может генерировать их так эффективно.