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