Used it at the university, liked the idea of the language, but implementation was sadly lacking. Not an easy language to debug.

I haven't read that particular book, but I imagine Prolog was included because it being a declarative language fits a paradigm of its own.