Αποστολή με SMS: Logical Foundations for Rule-Based Systems