Αποστολή με SMS: Σημασιολογία Λογικών Προγραμμάτων