To read the full-text of this research, you can request a copy directly from the author.
Meta-programming is a well-known technique widely used in logic programming and artificial intelligence. Meta-interpreters are powerful tools especially for writing expert systems in general and for writing their inference machines in particular. While the classical approach to meta-interpretation is based on the syntactic definition of a meta-interpreter, new approach presented in this paper corresponds more to the meaning of the prefix meta. We analyze the structure of expert systems (problem solvers) to specify a general description of a meta-interpreter. On that basis, we define the concept of a generalized meta-interpreter which we call a mega-interpreter. The mega-interpreter is divided into two parts -- the kernel and its extension. While the kernel codes the functions that are common to most interpreters, the extension specifies the domain-specific functions of a particular interpreter. 1. INTRODUCTION Meta-interpretation is one of the widely used programming techn...
Barták, R., Meta-interpretation of Logic Programs (in Czech), Diploma Thesis, Charles
University, Prague, 1993
Development of a Prolog Tracer by Stepwise Enhancement
Lakhotia, A., Sterling, L. and Bojantchev, D., Development of a Prolog Tracer by
Stepwise Enhancement, in: Proceedings of the Third International Conference on Practical
Applications of Prolog, Paris, April 1995
Meta-Interpreters: The Flavors of Logic Programming?
Sterling, L., Meta-Interpreters: The Flavors of Logic Programming?, in: Proceedings of
Workshop on foundation of Logic Programming and Deductive Databases, Washington,
Composition Based on Skeletons and Techniques
Sterling, L., Jain, A. and Kirschenbaum, M., Composition Based on Skeletons and
Techniques, Work presented at ILPS `93 Post Conference Workshop on Methodologies
for Composing Logic Programs
Applying Techniques to Skeletons, in: Constructing Logic Programs
Sterling, L. and Kirschenbaum, M., Applying Techniques to Skeletons, in: Constructing
Logic Programs, J.M.J. Jacquet (editor), John Wiley & Sons, 1993