Text this: Parallel logic programming techniques /