Recursive Prolog predicate for reverse / palindrome

Question

1. Can I get a recursive Prolog predicate having two arguments, called reverse, which returns the inverse of a list:

   Sample query and expected result:

Answer 1

Just for curiosity here goes a recursive implementation of reverse/2 that does not use auxiliary predicates and still reverses the list. You might consider it cheating as it uses reverse/2 using lists and the structure -/2 as arguments.

reverse([], []):-!.
reverse([], R-R).
reverse(R-[], R):-!.
reverse(R-NR, R-NR).
reverse([Head|Tail], Reversed):-
  reverse(Tail, R-[Head|NR]),
  reverse(R-NR, Reversed).