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