Сталкнулся с такой проблемой: нужно на ProLog-e написать програму у которой на входе будет список, а на выходе она будет говорить являеться ли этот список полиндромом, тоесть читаеться одинаково как справо-налево так и слево-направо например [a,b,c,b,a]. Если кто знает помогите пожалуйста, а то я уже все перерыл а ответ так и не нашол.

Торжественно стырено с ИНТУИТа:

rev([H|T],L1,L2):–
             rev(T,[H|L1],L2). 
rev([ ],L,L). 

palindrom(L) :-
             rev(L, [], L).

Спасибо большое.