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⁠