Zaslat SMS: Computational logic :