Mixtus: An automatic partial evaluator for full Prolog
- 1 December 1993
- journal article
- research article
- Published by Springer Nature in New Generation Computing
- Vol. 12 (1) , 7-51
- https://doi.org/10.1007/bf03038271
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Finding the least fixed point using wait-declarations in PrologPublished by Springer Nature ,2005
- Determinacy analysis for full PrologPublished by Association for Computing Machinery (ACM) ,1991
- ProMiX: a Prolog Partial Evaluation SystemPublished by MIT Press ,1990
- The Practice of PrologPublished by MIT Press ,1990
- Partial evaluation of metaprograms in a “multiple worlds” logic languageNew Generation Computing, 1988
- Annotated bibliography on partial evaluation and mixed computationNew Generation Computing, 1988
- A partial evaluation system for Prolog: some practical considerationsNew Generation Computing, 1988
- Composing recursive logic programs withClausal joinNew Generation Computing, 1988
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965