Zaslat SMS: Компьютерное моделирование логических процессов. Архитектура и язык решателя задач