Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning - López Alonso, Alfredo O. (Centro Interamericano de Investigaciones Psicológicas y Ciencias Afines, 2004)