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