Αποστολή με SMS: Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση