Memory performance of Prolog architectures - Tick, Evan (Kluwer, 1988)