Meta Programming in Logic Programming

ISBN 10: 0262510472 / ISBN 13: 9780262510479

Published by The MIT Press Bookstore, 1989

About this Item

Print on Demand pp. 560 Illus.

Seller Inventory # 57132071

Bibliographic Details

• Title: Meta Programming in Logic Programming
• Publisher: The MIT Press Bookstore
• Publication Date: 1989
• Language: English
• ISBN 10: 0262510472
• ISBN 13: 9780262510479
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.

About the Authors

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.