Details | Last modification | View Log | RSS feed
rev([],[]).
rev([H|T],L) :- rev(T,Z), append(Z,[H],L).