Data buffer performance for sequential Prolog architectures

Several local data buffers are proposed and measurements are presented for variations of the Warren abstract machine (WAM) architecture for Prolog. Choice-point buffers, stack buffers, split-stack buffers, multiple-register sets, copyback caches, and smart caches are examined. Statistics collected from four benchmark programs indicate that small conventional local memories perform quite well because of the WAM´s high locality. The data memory performance results are equally valid for native code and reduced instruction set implementations of Prolog