List reverse

Source: Adventure in Prolog (on-line tutorial)

Program source code: reverse_1.pl

reverse([], Rev, Rev).
reverse([H|T], Temp, Rev) :-
  reverse(T, [H|Temp], Rev).
 
% ?- reverse([ants, mice, zebras], [], X).
% X = [zebras, mice, ants]