Αποστολή με SMS: Logic for Programming and Automated Reasoning