It's cool to see this, but I think what Prolog could really use is a "Real World Prolog" style of treatment showing things outside the usual logic puzzles and t

It's cool to see this, but I think what Prolog could really use is a "Real World Prolog" style of treatment showing things outside the usual logic puzzles and toy genealogy examples. Like, starting from the elegantly tiny compiler near the end of The Art of Prolog and going further with practical examples -- systems administration tasks with Marelle, maybe show Constraint Handling Rules, et cetera.