rev([1],[]).
rev([0,1],[0,1]).
rev([0,1,2],[2,0,1]).
rev([1,2,3],[2,3,1]).
app([1],[0],[0,1]).