Personal tools
You are here: Home Projects Prolog University of Edinburgh Source code 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.
Document Actions

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.

by Paul McJones last modified 2019-12-03 14:42

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

Size 254.8 kB - File type application/x-tar
« December 2021 »
Su Mo Tu We Th Fr Sa
1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: