Meta-Programming in Logic Programming - Paperback

by Harvey Abramson (Editor), M. H. Rogers (Editor)

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.