このディレクトリの索引
#  
#  precede(X, Y, Zs) : リストZs中で、XがYより先に現れる
#  

リストZs中で、XがYより先に現れる(X,Y,Zs) :-
        append(L0,[Y|_],Zs),
        append(_,[X|_],L0),!.