このディレクトリの索引

# # 直積 # 直積([L],_要素毎に独立したならび) :- 'Lの各要素を独立したリストとする'(L,_要素毎に独立したならび). 直積([L1|R1],_直積) :- 'R1の直積にL1の要素を付加する'([L1|R1],_直積). 'Lの各要素を独立したリストとする'(L,_要素毎に独立したならび) :- findall([A],member(A,L),_要素毎に独立したならび). 'R1の直積にL1の要素を付加する'([L1|R1],_直積) :- 直積(R1,R2), 'L1の要素を付加する'(L1,R2,_直積). 'L1の要素を付加する'(L1,R2,_直積) :- findall([A|L],( member(A,L1), member(L,R2)),_直積).