Αποστολή με SMS: Logical theory for program construction