このディレクトリの索引

foldr(F,[],V0,V0). foldr(F,[A|R],V0,X) :- foldr(F,R,V0,Y), P =.. [F,A,Y,X],call(P). foldr(F,[],[],V0,V0). foldr(F,[A|R1],[B|R2],V0,X) :- foldr(F,R1,R2,V0,Y), P =.. [F,A,B,Y,X], call(P). foldr(F,[],[],[],V0,V0). foldr(F,[A|R1],[B|R2],[C|R3],V0,X) :- foldr(F,R1,R2,R3,V0,Y), P =.. [F,A,B,C,Y,X], call(P). foldr(F,[],[],[],[],V0,V0). foldr(F,[A|R1],[B|R2],[C|R3],[D|R4],V0,X) :- foldr(F,R1,R2,R3,R4,V0,Y), P =.. [F,A,B,C,D,Y,X], call(P).