% KSP 19-2-6 3.Palindromické slepice

% Sezn je palindromem prave tehdy,
% shoduje-li se přesně se svým obráceným seznamem
palindrom(Sezn) :- obrat(Sezn,Sezn).

% obracení uděláme známou technikou akumulátoru,
% aby bylo lineární
obrat(Sezn,Vysl) :- akumulator(Sezn,[],Vysl).

% ze zadaného seznamu trháme prvky
% a skládáme je před sebe do druhého seznamu,
% až nám dojdou prvky v prvním seznamu,
% v druhém seznamu jsou prvky v opačném pořadí
akumulator([],Sezn,Sezn).
akumulator([A|S1],S2,S3) :- akumulator(S1,[A|S2],S3).