Describir: Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning