Αποστολή με SMS: Rule-Based Reasoning, Programming, and Applications