Αποστολή με SMS: The logic programming paradigm