W. F. Clocksin. Reference Summary of Prolog-X. Computer Laboratory, University of Cambridge, June 1984; revised 20 July 1984.

W. F. Clocksin. Reference Summary of Prolog-X. Computer Laboratory, University of Cambridge, June 1984; revised 20 July 1984. Andy Cheese cites a 1986 version of this document. Mentions C as the “base language”, and gives the address space (and integer values) as 2^28, so presumably this is a rewrite of the earlier Pascal-based “executable specification”?

Click here to get the file