このディレクトリの索引

foldr(F,L,X) :-
        reverse(L,L1),
        foldr_2(F,L1,X).

foldr_2(F,[A,B],X) :-
        _式 =.. [F,B,A],
        X is _式,!.
foldr_2(F,[A,B|R],X) :-
        _式 =.. [F,B,A],
        Y is _式,
        foldr_2(F,[Y,A|R],X).