====== Reverse 2 ======
{{tag>lists}}
===== Description =====
List reverse with predicate append

**Source**:  Adventure in Prolog (on-line tutorial)
===== Download =====
Program source code: {{reverse_2.pl}}
===== Listing =====
<code prolog>
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]</code>
===== Comments =====