Implementing Prolog via Microprogramming a General Purpose Host Computer [pdf]

33 years old document… might not be out there a more up to date document?