Theoretical computer scientists.
Edited by Dov M. Gabbay, Professor of Computing, C.J. Hogger, Department of Computing, both t Imperial College, and J. A. Robinson, Department of Computing, Syracuse University
"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"
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