RESUMO
Se presenta una descripción de la automatización intentada para evaluar el Test de Coherencia de Razonamiento (TCR, López Alonso, 1981, 1988, 1996, 2000) a través de programas lógicos. En primer lugar, se presentan las aplicaciones hechas utilizando el programa Prolog. Si bien no es secuencial, Prolog es un programa que provee hechos y reglas de derivación de conclusiones y procedimientos que son propios del razonamiento deductivo y que son utilizados para resolver problemas de programación. Sus características operativas surgen de cláusulas que son propias de la lógica de predicados. Esta lógica utiliza los mismos caminos inferenciales que el razonamiento expresado en términos lingüísticos. En consideración a estas características se llevaron a cabo muchos ensayos para automatizar la evaluación del TCR. Algunos de estos ensayos empíricos y sus resultados se exponen y discuten brevemente. También se analizan sucintamente los ajustes y desajustes de programa, encontrados hasta la fecha entre el lenguaje Prolog y los supuestos básicos del TCR
