このディレクトリの索引

foldl(_,[X],X).
foldl(F,[A,B|R],X) :-
        _式 =.. [F,A,B],
        _値_1 is _式,
        foldl(F,[_値_1|R],X).