Programa Palíndroma en recursiva (Pascal)

Program recursiva (input,output);
TYPE
tcadena=string[20];

FUNCTION palindroma (A:tcadena;x:integer;y:integer):boolean;
begin


    If A[x]=A[y] then
        palindroma:=palindroma(A,x-1,y+1) AND TRUE
            else       
        palindroma:=false;
   
   
IF x=y then
    palindroma:=true;

END;


PROCEDURE menu ;

var
i,j:integer;
cadena:tcadena;

begin

j:=1;
writeln('escriba la palabra:');
readln(cadena);
i:=length(cadena);
IF palindroma(cadena,i,j)=true then
    writeln('es palindroma')
    else   
    writeln('no es palindroma');

END;

BEGIN

menu;
END.