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