% list reverse
rev([],[]).
rev([1],[1]).
rev([2],[2]).
rev([3],[3]).
rev([4],[4]).
rev([1,2],[2,1]).
rev([1,3],[3,1]).
rev([1,4],[4,1]).
rev([2,2],[2,2]).
rev([2,3],[3,2]).
rev([2,4],[4,2]).
rev([0,1,2],[2,1,0]).
rev([1,2,3],[3,2,1]).