search for books and compare prices
Tables of Contents for Logic Programming
Chapter/Section Title
Page #
Page Count
1. Introduction
2. Operational semantics
3. Characterizing parallel systems
4. Characterizing sequential systems
5. Approaches to incompleteness
6. Summary and future directions
Examples
Index of definitions
Index.