Stav dette: Parallel logic programming / Evan Tick.