Αποστολή με SMS: Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων