Thanks for this link. Prolog is sort of the last language on my list of things to look at. However, I never really made it past the classic towers of hanoi example, always longing for a small self-contained example that achieves a real world goal. And here it is! Very neat showcase.