% Author: Thomas Stroeder % terminating %query: rev(i,o). rev(L,R) :- rev(L,[],R). rev([],Y,Y). rev(L,S,R) :- no(empty(L)), head(L,X), tail(L,T), rev(T,[X|S],R). head([],_). head([X|_],X). tail([],[]). tail([_|Xs],Xs). empty([]). no(X) :- X, !, failure(a). no(_). failure(b).
content may be truncated. 'popout' for larger text window.
