Αποστολή με SMS: Program Development in Computational Logic