Αποστολή με SMS: Logic programming and nonmonotonic reasoning