ok, now logic programming is starting to live up to its name
Exercise 4.61 - a nice softball introduction to logic programming in the query system
Exercise 4.62 - writing my own first logic rule
note on sols
Exercise 4.63 - genealogical rules by just writing them down - although you have to get the syntax straight first. this is going back to database antics, isn't it?