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