Describir: Parallel logic programming / Evan Tick.