Invia SMS: Expressive Applications of Constraint Logic Programming