ProMiX: a Prolog Partial Evaluation System

ProMiX is a partial evaluation system for “full” Prolog. It is decomposed into three main modules: kernel, driver, and knowledge base. The kernel provides the 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.