W. F. Clocksin. The ZIP Virtual Machine. January 1983, with subsequent revisions.
W. F. Clocksin. The ZIP Virtual Machine. January 1983, with subsequent revisions. [By this time, Clocksin was at Oxford or Cambridge.] “Prolog-X is an implementation of Prolog which makes use of an abstract (virtual) machine called the ZIP Machine. The ZIP Machine is defined by a pointer format, 32 registers, the format of storage areas, an instruction set, and assumptions about the layout of data structures in memory.”
Size 660.0 kB - File type application/pdf