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