Personal tools
You are here: Home Projects Prolog University of Edinburgh Source code
Document Actions

Source code

Up one level
David H. D. Warren. PROLOG to DEC 10 Machine Code Compiler, Version 13 Sep 1975. by Paul McJones — last modified 2019-06-13 17:34
David H. D. Warren. PROLOG to DEC 10 Machine Code Compiler, Version 13 Sep 1975. Listing, Computer History Museum Lot #X6167.2011, gift of Maarten van Emden. Posted here with permission of David H. D. Warren.
David H. D. Warren. Example 1: Quicksort. Circa 1975 by Paul McJones — last modified 2019-12-03 15:01
David H. D. Warren. Example 1: Quicksort. Circa 1975. Example of generated code from PROLOG to DEC 10 Machine Code Compiler.
David H. D. Warren. Example 2: Illustrates the improved scheme for indexing clauses. Circa 1975. by Paul McJones — last modified 2019-06-13 17:49
David H. D. Warren. Example 2: Illustrates the improved scheme for indexing clauses. Circa 1975. Example of generated code from PROLOG to DEC 10 Machine Code Compiler.
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.
« February 2020 »
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
 

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: