Parallel logic programming techniques. - Taylor, Stephen