Is there any good resources for the internals of prolog / writing a prolog interpreter?
Peter Norvig (of google fame) describes how to write a prolog like language in Common Lisp: https://www.amazon.ca/Paradigms-Artificial-Intelligence-Prog...
just found he has a github with the book ( in multiple formats)