Meta-Programming in Logic Programming

<p><b>A comprehensive survey of the theory and applications of meta-programming covering problems of representation and of soundness and correctness of interpreters analysis and evaluation of meta-logic programs and applications to sophisticated knowledge-based systems.</b></p><p>Meta-programs which treat other computer programs as data include compilers editors simulators debuggers and program transformers. Because of the wide ranging applications meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming covering problems of representation and of soundness and correctness of interpreters analysis and evaluation of meta-logic programs and applications to sophisticated knowledge-based systems.</p><p><i>Meta-Programming in Logic Programming</i> is in the series Logic Programming Research Reports and Notes edited by Ehud Shapiro.</p>