SMS versenden: Od logického programování k paralelismu.