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