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).