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
« August 2022 »
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: