Text this: Od logického programování k paralelismu.