- Shopping Bag ( 0 items )
-
All (2) from $25.50
-
Used (2) from $25.5
Ships from: Girard, OH
Usually ships in 1-2 business days
Ships from: Chatham, NJ
Usually ships in 1-2 business days
Preface | ||
1 | The Logic-Based Approach to Knowledge Bases | 1 |
1.1 | Declarative Programming | 1 |
1.2 | Logic Programming | 2 |
1.3 | Knowledge-Based Systems | 3 |
1.4 | Modeling a Knowledge-Based System | 4 |
1.5 | Interfacing a Deductive Component to a Database | 6 |
1.6 | Controlling Recursive Inference | 10 |
2 | Mixed Top-Down, Bottom-Up Execution | 11 |
2.1 | A General Interpreter for Logic Programs | 13 |
2.2 | Reducing Horn Clauses | 18 |
2.3 | Architectural Aspects | 32 |
2.4 | The Unification Process | 36 |
2.5 | Variable Analysis | 39 |
2.6 | Performance Aspects | 47 |
3 | Structures | 59 |
3.1 | Handling Structures in the Inference Mechanism | 60 |
3.2 | Handling Structures in the Database | 67 |
4 | Recursion | 73 |
4.1 | General Breadth Search Strategy for Solving Recursive Clauses | 74 |
4.2 | Linear Horn Clauses without Function Symbols | 76 |
4.3 | Linear-Recursive Horn Clauses with Structured Arguments | 92 |
4.4 | Summary | 108 |
5 | Sharing Relations | 111 |
5.1 | The Trash Concept | 112 |
5.2 | Implementation Aspects | 117 |
5.3 | Deterministic Programs | 122 |
5.4 | Sharing Relations in the Presence of Recursive Clauses | 124 |
6 | Semantic Aspects | 141 |
6.1 | A Declarative Language and its I/O Restrictions | 142 |
6.2 | The Logical Cut | 144 |
6.3 | Negation | 146 |
6.4 | Built-in Predicates | 148 |
7 | Building a Deductive Database with a Relational DBMS | 157 |
7.1 | Ingres | 158 |
7.2 | Software Architecture | 159 |
7.3 | The EDB Stack | 159 |
7.4 | Recursion | 166 |
8 | Parallel Processing of Deductive Databases | 175 |
8.1 | Parallelizing Logic Programs | 175 |
8.2 | Implementation of OR parallelism | 178 |
8.3 | Analyzing Performance on a Sequent Symmetry | 182 |
Appendix: IISProlog User's Manual | 189 | |
Glossary | 251 | |
References | 253 | |
Author Index | 261 | |
Subject Index | 265 |