Αποστολή με SMS: A Computational Logic Handbook