Essentials of Logic Programming (Graduate Texts in Computer Science)

Logic programming has developed into a broad discipline within computing science, contributing to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases. This new book presents the fundamentals of logic programming from both practical andtheoretical viewpoints. It also covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated throughout with numerous diagrams. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it; and it includes nearly seventy pages of detailed answers to all of the exercises.Hogger, Christopher J. is the author of 'Essentials of Logic Programming (Graduate Texts in Computer Science)', published 1991 under ISBN 9780198538202 and ISBN 0198538200.