Cache memory for prolog stack

Traditional cache memory organisations base their usefulness on the locality of reference which characterises the memory behaviour of most programs. In a cache which has been specifically designed to support a given programming language, however, we can take advantage of a more precise knowledge of the characteristics of the memory behaviour of programs written in that language. In this letter, we present the architecture of a cache which limits the memory bandwidth requirements of Prolog programs by capturing the references to the Prolog stack.