% Adapted from LP/talp_apt/fold.pl % terminating %query: fold(i,i,o). fold(X,[],Z) :- !, eq(X,Z). fold(X,Y,Z) :- head(Y,H), tail(Y,T), myop(X,H,V), fold(V,T,Z). myop(a,b,c). head([],_). head([H|_],H). tail([],[]). tail([_|T],T). eq(X,X).
content may be truncated. 'popout' for larger text window.
