Reverse 2

List reverse with predicate append

Source: Adventure in Prolog (on-line tutorial)

Program source code: reverse_2.pl

naive_reverse([],[]).
naive_reverse([H|T],Rev):-
  naive_reverse(T,TR),
  append(TR,[H],Rev).
 
% ?- naive_reverse([ants, mice, zebras], X).
% X = [zebras, mice, ants]