このディレクトリの索引

p(A,N,X) :-
        length(L,N),
        p(A,[],L,X).

p(A,L,L,X) :-
        atom_chars(X,L),!.
p(A,L1,L,X) :-
        sub_atom(A,_,1,_,C),
        p(A,[C|L1],L,X).