This is a nice coincidence. A few weeks back a guy at work gave away a box of old computer books, and I picked up several on Prolog and logic programming. I'v

This is a nice coincidence. A few weeks back a guy at work gave away a box of old computer books, and I picked up several on Prolog and logic programming. I've been reading through an ancient edition of "Programming Prolog", which is good, but I've had a hard time finding modern code samples. The code in the book mostly works, but I've seen some weird behavior that I suspect is due to language changes. It'll be nice to have these up-to-date examples using modern idioms.