このディレクトリの索引
#  Prologの問題です。
#  リストがあります。このリストの要素数を割り算する述語を作ります。
#  第二引数の匿名変数のリストの要素数で割り、
#  商を第三引数にリストの要素数として、
#  余りを第四引数のリストの要素数として返します。
#  第二引数以降は全て匿名変数のリストになります。

リストの要素数の割り算(_リスト,_除数リスト,_商リスト,_剰余リスト) :-
        length(_リスト,_要素数),
        length(L,_要素数),
        リストの割り算(L,_除数リスト,_商リスト,_剰余リスト).

リストの割り算(L,_除数リスト,[_|R3],R4) :-
        append(_除数リスト,R1,L),
        リストの割り算(R1,_除数リスト,R3,R4),!.
リストの割り算(L,_,[],L).