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