このディレクトリの索引

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