Abstract
We discuss a transformation method for compiling away meta-interpreters. Our technique is data-driven — references to object data are resolved away. The transformed program can be directly executed, exhibiting considerable savings in execution time and space usage. The method lends itself naturally to incremental compilation for a large subset of meta-interpreters.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Y. Cosmadopoulos and R. W. Southwick. Using meta-level information for expert system control: A ‘blending’ transformer approach. In N. Shadbolt, editor, Research and Development in Expert Systems VI, pages 54–65. Cambridge University Press, 1989.
H. Fujita and K. Furukawa. A self-applicable partial evaluator and its use in incremental compilation. Technical Report TM-367, ICOT, Tokyo, Japan, 1987.
P. Hammond and M. J. Sergot. A PROLOG shell for logic based expert systems. In Proceedings of the Third BCS Expert Systems Conference, Cambridge, 1983.
J. Komorowski. A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation. PhD thesis, Linköping University, 1982.
R. A. Kowalski. Logic for Problem Solving. North Holland, Amsterdam, 1979.
A. Lakhotia and L. Sterling. ProMiX: A prolog partial evaluation system. In L. I. Sterling, editor, The Practice of Prolog, pages 137–179. MIT Press, 1990.
D. Sahlin. An Automatic Partial Evaluator for Full Prolog. PhD thesis, Swdish Institute of Computer Science, Stockholm, 1991.
M. J. Sergot. A query-the user facility for logic programming. In P. Degano and E. Sandewall, editors, Integrated Interactive Computer Systems, pages 27–41. North Holland, 1983.
M. J. Sergot and Y. Cosmadopoulos. The logic programming system σ kilaki: Design and implementation. Technical report, Logic Programming Group, Imperial College, London, 1991.
L. Sterling and R. D. Beer. Meta-interpreters for expert system construction. Technical report, Case Western Reserve University, Cleveland, Ohio, USA, 1985.
A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta programming. Technical Report TR-126, ICOT, Tokyo, Japan, 1985.
A. Yamamoto and H. Tanaka. Translating production rules into a forward reasoning Prolog program. New Generation Computing, 4(1):97–105, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cosmadopoulos, Y., Sergot, M., Southwick, R.W. (1991). Data-driven transformation of meta-interpreters: A sketch. In: Boley, H., Richter, M.M. (eds) Processing Declarative Knowledge. PDK 1991. Lecture Notes in Computer Science, vol 567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013539
Download citation
DOI: https://doi.org/10.1007/BFb0013539
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55033-4
Online ISBN: 978-3-540-46667-3
eBook Packages: Springer Book Archive