このディレクトリの索引

# http://bit.ly/dIOWsn % test(_集合名,_集合) test(t1,[a,b,c]). test(t2,[a,b]). test(t3,[a,d]). test(t4,[e,f]). test(t5,[e,f,b,c,a]). ある要素を含む集合名を蒐集する(_要素ならび,_蒐集された集合名) :- setof(_集合名,[_集合名] ^ ( ある要素を含む集合名(_要素ならび,_集合名)),_蒐集された集合名). ある要素を含む集合名(_要素ならび,_集合名) :- ある要素を(_要素ならび,_要素), 含む集合名(_要素,_集合名). ある要素を(_要素ならび,_要素) :- member(_要素,_要素ならび). 含む集合名(_要素,_集合名) :- test(_集合名,_集合), member(_要素,_集合).