Parallel logic programming - Tick, Evan (The MIT Press, 1991)