I have not looked at your [1] or [2], but I seem to vaguely remember that either a PG book On Lisp or ANSI Common Lisp (wordplay accidental but retained about t

I have not looked at your [1] or [2], but I seem to vaguely remember that either a PG book On Lisp or ANSI Common Lisp (wordplay accidental but retained about the "On", heh) or a Peter Norvig book (one of his two main ones) has a chapter or two on implementing Prolog interpreters. Edit: Oops. After posting my comment, just saw DonaldFisk's comment here: https://news.ycombinator.com/item?id=26244021 https://news.ycombinator.com/item?id=26244021 So Norvig's PAIP may be the book where I saw it. Edit 2: Also just saw gglitch's comment: https://news.ycombinator.com/item?id=26242603 https://news.ycombinator.com/item?id=26242603 which confirms my first surmise about both the PG and Norvig books containing it.