このディレクトリの索引
#  
#  要素が高々n個のならびの定義
#  

高々n個のならび(_n,_ならび) :-
        length(L,_n),
        append(_ならび,_,L).