🚀 go-pugleaf

>> From: dave@lsuc.UUCP
>> Subject: miscellany re income tax planning system
>> ...
>> Third, I'm currently wrestling with the task of generating,
>> for a list, every list which is a subset of that list. Thus,
>> for [a,b,c,d], I want findall to be able to find each of
>> [a,b] [a,c] [a,d] [a,b,c] [a,b,d] [a,c,d] [b,c] [b,d] [b,c,d] [c,d]. 
>

This should do the trick:

included(Subset,Set) is true if Subset is a subset of Set

included([],Set).
included([X|Subset],Set):-append(_,[X|Rest],Set),included(Subset,Rest).

It only includes subsets whose elements are in the same order as in the
original list.