Parallel logic programming - Tick, Evan 1959- (Logic programming, 1991)