Meta-Programming in Logic Programming

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. 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. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

• Format: Paperback
• Language: English
• ISBN: 0262510472
• ISBN13: 9780262510479
• Release Date: October 1989
• Publisher: MIT Press
• Length: 560 Pages
• Weight: 2.16 lbs.
• Dimensions: 1.2" x 7.0" x 9.9"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher