Aunque David tiene razón en que el código era demasiado largo, también hay que decir que no hacía lo que se pedía.

Mi código tomaba líneas de la entrada estándar y comprobaba si eran palíndromas o no, cuando lo que debía hacer es tomar una única línea mediante entrada estándar.

Esto lo ha simplificado bastante, y el programita sloccount me dice que tiene 44 líneas. Se podría simplificar aún más, pero, en mi opinión, a costa de la claridad.

#include <stdio.h>
#include <string.h>
#include <stdlib.h>


#define MAX_SIZE 1000
#define END -1
#define TRUE 1
#define FALSE 0
#define TRANSLATION "FIXME:Mapa de 256 caracteres utilizados en la normalización!!"
#define DELETE " "

int esPalindromoLen(char line[], int length){
  int i = 0;
  for ( ; i < length-i; ++i) {
    if (line[i] != line[length-i-1]) return FALSE;
  }
  return TRUE;
}

int esPalindromo (char line[]){
  return esPalindromoLen (line, strlen(line));
}


char* normalizar(char* source, char* translation, char* delete){
  int length = strlen(source);
  char *retval = malloc (length);
  short c;
  int src_cnt = 0;
  int ret_cnt = 0;

  for (src_cnt = 0; src_cnt < length; ++src_cnt){
    c = source[src_cnt];
    
    if (strchr (delete, c) == NULL) {
      retval[ret_cnt] = translation[c];
      ret_cnt++;
    }
  }
  retval[ret_cnt] = '\0';

  return retval;
}

int main(int argc, char* argv[]){
  char* normal;

  if (argc < 2){
	 printf("Debe introducir una cadena a comprobar\n");
	 exit(-1);
  }

  normal = normalizar(argv[1], TRANSLATION, DELETE);
  printf(esPalindromo(normal)?"SÍ\n":"NO\n");

  free(normal);
  return 0;
}

...ver el de arriba

Sin controlar nada de nada...

p(X):-reverse(X,X)

Creo que he encontrado un predicado para Prolog que acepta los parámetros de consola. Lo probaré. Se trata de

unix(argv(Lista_Argumentos)).

Lista_Argumentos toma el valor del argv de toda la vida... lo que pasa es que creo que lo hace atómico. O sea, que debería convertir la frase ya normalizada a lista para que mi programa funcionara.

Investigaremos...

**"Hay obras de caridad
y obras de sentimiento...
pero las que más duran
son las del Ayuntamiento"**

Es Python, ese código funciona incluso con Unicode. De hecho es un vector (de lo que sea). Sirve para encontrar secuencias palíndromas de todo tipo de objetos, no solo carácteres, siempre que se puedan comparar para igualdad.

Además no hacía falta tanto, el enunciado decia:

"Nótese que las tildes y las mayúsculas no cuentan"

Y por cierto, el argumento debe ser "una cadena", no "una cadena y su tamaño".