Invia SMS: Od logiky k logickému programování.