このディレクトリの索引

atom_numbers(Atom,Numbers) :-
        atom(Atom),
        findall(N,(
                    sub_atom(Atom,_,1,_,A),
                    atom_number(A,N)),
                Numbers),!.
atom_numbers(Var,Numbers) :-
        var(Var),
        list(Numbers),
        atomic_list_concat(Numbers,Var).