Рекурсивный предикат Prolog для обратного / палиндромного

Могу ли я получить рекурсивный предикат Пролога с двумя аргументами, называемый reverse, который возвращает обратный список:

Пример запроса и ожидаемый результат:

? - reverse ([a, b  , в], Л).
L = [c, b, a].
 

Рекурсивный предикат Пролога из двух аргументов, называемый палиндром , который возвращает истину, если данный список является палиндромом.

Пример запроса с ожидаемым результатом:

? - палиндром ([a, b, c  ]).
ложный.

 ? - палиндром ([b, a, c, a, b]).
правда.