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