Exercise 4.64 - a simple infinite loop
more detailed analysis
Exercise 4.65 - queries return rules multiple times if they are satisfied multiple ways
Exercise 4.66 - thinking about ways to work around duplicate query values
Exercise 4.67 - some handwaving ideas about how to avoid some simple infinite loops