このディレクトリの索引

% *** user: findsetof / 3 *** findsetof(A,B,L) :- findall(A,B,C), setof(A,member(A,C),L) . % *** user: findsetof / 3 *** findsetof(A,B,L) :- B =.. [_|L1], setof(A,L1 ^ B,L). % *** user: findsetof / 3 *** findsetof(A,B,L) :- term_variables(B,VL), setof(A,VL ^ B,L)