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