Ответ в теме: Проверка списка на палиндром

      Комментарии к записи Ответ в теме: Проверка списка на палиндром отключены
#1749

Сделать нужно на SWI-Prolog, но ведь в нем есть встроенный предикат reverse, выполняющий переворот списка.
Список является палиндромом если совпадает с перевернутым собой, т.е. можно написать так:

check_reverse(List):-
  reverse(List, List).

Вряд-ли задача стоит таким образом, поясните.