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