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