このディレクトリの索引
%  
%  履歴付き最終組余り有効N個組
%  

最終組余り有効N個組(N,_対象ならび,_N個組) :-
        履歴付き最終組余り有効N個組(N,_対象ならび,_履歴ならび,_N個組,_後ならび).

履歴付き最終組余り有効N個組(N,_対象ならび,_履歴ならび,_N個組,_後ならび) :-
        length(_N個組の一,N),
        append(_N個組の一,R,_対象ならび),!,
        履歴付き最終組余り有効N個組(N,_N個組の一,R,_履歴ならび,_N個組,_後ならび).
履歴付き最終組余り有効N個組(N,_N個組,[],_N個組,[]).

履歴付き最終組余り有効N個組(N,_N個組,_後ならび,[],_N個組,_後ならび).
履歴付き最終組余り有効N個組(N,_N個組の一,R,[_N個組の一|R1],_N個組,_後ならび) :-
        履歴付き最終組余り有効N個組(N,R,R1,_N個組,_後ならび).



%  ?- 履歴付き最終組余り有効N個組(3,[1,2,3,4,5,6,7,8],_履歴,_N個組,_後).
%  _履歴 = [],
%  _N個組 = [1, 2, 3],
%  _後 = [4, 5, 6, 7, 8] ;
%  _履歴 = [[1, 2, 3]],
%  _N個組 = [4, 5, 6],
%  _後 = [7, 8] ;
%  _履歴 = [[1, 2, 3], [4, 5, 6]],
%  _N個組 = [7, 8],
%  _後 = [].