A New Abstract Prolog Instruction Set
This paper presents a reduced instruction set for a Prolog machine called RPM. The objective of our design was a RICS machine architecture with high performance. We describe the machine architecture in terms of the machine state and data and instruction object definitions, and present the system configuration. Finally, we conclude with some aspects of implementation and performance results obtained from a simulation of the proposed design.