While I’m trying to concentrate on Haskell at this time, I couldn’t resist having a look into Markus Triskas book.

The Power of Prolog
https://www.metalevel.at/prolog

Thanks for making this available online!