Exercise 4.56 - compound queries. so something cool sounding like 'logic programming' turns out to be as pedestrian as a database query language...