Found out that PAIP's chapter 11 is a nice intro to implementing prolog https://github.com/norvig/paip-lisp/blob/master/docs/chapter11.md Although, yeah... had to undust my commonlisp environment to work through it 😛 Chapter 12 is about compiling a prolog like dialect, haven't look at the chapter yet but looks interesting too. PAIP also recommends:

Maier and Warren's Computing with Logic (1988) is the best reference for those interested in implementing Prolog. It starts with a simple interpreter for a variable-free version of Prolog, and then moves up to the full language, adding improvements to the interpreter along the way.

... seems to be a cool book but a bit archaic with example code in Pascal... but I guess Pascal is a simple enough language to port to something else without too much effort... hopefully 😛 The bad thing is that I couldn't find the source code anywhere so I'm afraid it may be missing bits and pieces in the book.

For another nice resource for learning about implementing a PROLOG, check out the books and papers around the Warren Abstract Machine: https://en.wikipedia.org/wiki/Warren_Abstract_Machine (Hassan Aït-Kaci's books are linked in PDF)