Αποστολή με SMS: A computational logic handbook