Memory Performance Of Prolog Architectures by Evan Tick