この資料をSMS送信: Essaying the prolog languaje to abtain the computational evaluation of the coherence of reasoning