Did not see it mentioned in the article, but I believe Quintus Prolog was the base for Prolog on the Xerox Lisp machine line.

They went to the effort of writing special microcode for the unifier, which meant the basically 16-bit 1100 series workstations were competitive in performance with other Prologs at the time.