Αποστολή με SMS: Λογικός Προγραμματισμός με Περιορισμούς