ProMiX is a partial evaluation system for 'full' Prolog. It is decomposed into three main modules: kernel, driver, and knowledge base. The kernel provides partial evaluation engine. The other two modules 'drive' and 'control' this engine. The paper discusses the problems associated with each module and presents the solutions adopted in the system. The driver module and control knowledge are designed for using ProMiX as a compiler by specializing interpreters.
Logic programming series: the practice of Prolog / Leon Sterling (ed.),
chapter 5, pp. 137-179