このディレクトリの索引

#  http://bit.ly/dIOWsn

test(t1,[a,b,c]).
test(t2,[a,b]).
test(t3,[a,d]).
test(t4,[e,f]).
test(t5,[e,f,b,c,a]).

ある要素を含む集合名を蒐集する(_要素ならび,_蒐集された集合名) :-
        findsetof(_集合名,(
                    append(_,[_要素|_],_要素ならび),
                    test(_集合名,_集合),
                    append(_,[_要素|_],_集合)),
                 _蒐集された集合名).

findsetof(A,B,L) :-
        findall(A,B,C),
        setof(A,member(A,C),L).