Table of Contents

1: Introduction to Logic Programming
2: Equational Logic Programming
3: Proof Procedure for Logic Programming
4: The Role of Abduction in Logic Programming
5: Semantics for Disjunctive Logic Programs
6: Negation as Failure, Completion and Statificaiton
7: Metaprogramming in Logic Programming
8: Higher-order Logic Programming
9: Constraint Logic Programming
10: Transformation of Logic Programs

Reviews

From reviews of previous volumes: '... the Handbook can be unreservedly recommended to AI practitioners with proficiency in logic and commitment to its role in the development of AI systems.' The Computer Journal