Very interesting stuff. Apparently this is the implementation: https://github.com/dicpeynado/prolog-in-forth
Thinking about the amount of thought and energy that went into this, back in 1987 -- mostly preinternet, pre-AI. Damn.
I feel really lucky that we get to build on things like this.