Відправити по sms: Essaying the prolog languaje to abtain the computational evaluation of the coherence of reasoning