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