2ex(reverse([],[]),+).
    3ex(reverse([b],[b]),+).
    4ex(reverse([d,e],[e,d]),+).
    5ex(reverse([e],[e]),+).
    6
    7ex(reverse([1],[1]),+).
    8ex(reverse([1,b],[b,1]),+).
    9ex(reverse([a,b],[b,a]),+).
   10ex(reverse([c,d,e],[e,d,c]),+).
   11ex(reverse([c,d],[d,c]),+).
   12ex(reverse([d],[d]),+).
   13
   14ex(reverse([1,b],[1]),-).
   15ex(reverse([a,b],[b,1]),-).
   16ex(reverse([a,b],[a,b]),-).
   17ex(reverse([c,d,e],[d,c,e]),-).
   18
   19%%reverse([],[]).
   20%%reverse([X|Y],Z):- reverse(Y,Z1).