Performance of parallel logic programming architectures - Tick, Evan (1988)