Zaslat SMS: The logical basis for computer programming