このディレクトリの索引
#  
#  二つのリストを取り、対応する要素を組みにして、一つのリストを作る。
#  リストの生成は、二つのリストの一方、あるいは両方が使い果たされたときに
#  終わる。
#  

'二つのリストを取り、対応する要素を組みにして、一つのリストを作る。リストの生成は、二つのリストの一方、あるいは両方が使い果たされたときに終わる'(_リスト_1,_リスト_2,[]) :-
        '二つのリストの一方、あるいは両方が使い果たされたときに'(_リスト_1,_リスト_2),
        終わる,!.
'二つのリストを取り、対応する要素を組みにして、一つのリストを作る。リストの生成は、二つのリストの一方、あるいは両方が使い果たされたときに終わる'([A|R1],[B|R2],[[A,B]|R3]) :-
        '二つのリストを取り、対応する要素を組みにして、一つのリストを作る。リストの生成は、二つのリストの一方、あるいは両方が使い果たされたときに終わる'(R1,R2,R3).

'二つのリストの一方、あるいは両方が使い果たされたときに'([],_) :- !.
'二つのリストの一方、あるいは両方が使い果たされたときに'(_,[]) :- !.
'二つのリストの一方、あるいは両方が使い果たされたときに'([],[]).

終わる.