このディレクトリの索引


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