William Clocksin. Prolog-X source code. Written in C and Prolog. This version was modified by Tim Robinson to run as a (partially) microcoded virtual machine on the High Level Hardware ORION.

William Clocksin. Prolog-X source code. Written in C and Prolog. This version was modified by Tim Robinson to run as a (partially) microcoded virtual machine on the High Level Hardware ORION. The distribution includes two directories: prologX contains the C and Prolog source code; prologM contains the microcode. 1983-1987?. .tar.gz prologX/how.to.make.prologx describes the full bootstrap procedure, which uses an existing CProlog system to run the "standalone compiler" sacom.pro on the three modules written in Prolog: pip.pro, rescom.pro, and standio.pro. However prologX includes the compiled versions (with suffix .zap), so that step may be omitted. makefile.zip builds Clocksin's original C version; makefile builds Robinson's microcoded version, which depends on the microcode in the parallel prologM directory.

Click here to get the file