4.4 Logic Programming

4.4.1 Deductive Information Retrieval

Exercises:

• 4.55 . Simple queries
• 4.56 . Compound queries
• 4.57 . 'Replace person' rule
• 4.58 . ''Big shot'' rule
• 4.59 . Meeting-time rule
• 4.60 . Lives-near query
• 4.61 . Rules for next-to relation
• 4.62 . Rules for last-pair
• 4.63 . Genesis 4