Logimix: A Self-Applicable Partial Evaluator for Prolog

  title={Logimix: A Self-Applicable Partial Evaluator for Prolog},
  author={Torben {\aE}. Mogensen and Anders Bondorf},
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial evaluation of functional languages to Prolog. Great care is taken to preserve the operational semantics of the partially evaluated programs, including the effects of non-logical predicates and side effects. At the same time, we also want the partial evaluator to handle large programs in reasonable time. This has led us to… CONTINUE READING

Similar Papers

Loading similar papers…