4.4. Logic Programming

• 4.4.1. Deductive Information Retrieval

• 4.4.2. How the Query System Works

• 4.4.3. Is Logic Programming Mathematical Logic?

• 4.4.4. Implementing the Query System