Thanks for working through my example question.

I may have to give Prolog another shot at some point!