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]