Zaslat SMS: Expressive Applications of Constraint Logic Programming