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