このディレクトリの索引
#  
#  要素数がn個以上のならび
#  

n個以上のならび(_n,_n個以上のならび,_n個のならび,_残りならび) :-
        length(_n個のならび,_n),
        append(_n個のならび,_残りならび,_n個以上のならび).

n個以上のならび(_n,_n個以上のならび,_残りならび) :-
        length(_n個のならび,_n),
        append(_n個のならび,_残りならび,_n個以上のならび).

n個以上のならび(_n,_n個以上のならび) :-
        length(_n個のならび,_n),
        append(_n個のならび,_,_n個以上のならび).