Meta-Programming in Logic Programming

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.Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

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.

Booknews

An expansion of original papers presented at a Workshop on Meta- Programming in Logic Programming, held at the U. of Bristol (England) in June, 1988. Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. This volume offers a comprehensive view of topics in the theory and application of meta-programming, covering problems of representation, soundness, and correctness of interpreters, analysis of meta-logic programs, and applications to knowledge-based systems. Not indexed. Annotation c. Book News, Inc., Portland, OR (booknews.com)