Source code

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.

Fernando Pereira. C-Prolog source code. July 1982. by Paul McJones — last modified 2023-05-06 14:37

Fernando Pereira. C-Prolog source code. July 1982. Originally from https://lost-contact.mit.edu/afs/eos.ncsu.edu/project/c-prolog_src/c-prolog/

Prolog programs donated by Alan Bundy by Paul McJones — last modified 2023-03-15 16:26

 

EMAS Prolog by Paul McJones — last modified 2023-05-05 10:27

Damas, Byrd, and others. Source code, documentation, and utilities for EMAS Prolog. University of Edinburgh. This version courtesy of Bob Eager, who made some changes at the University of Essex.

F. Pereira, L. Damas, L. Byrd and R. A. O'Keefe. EMAS C source code from https://history.dcs.ed.ac.uk/archive/os/emas/users/ecmi05/. by Paul McJones — last modified 2023-05-06 15:05

F. Pereira, L. Damas, L. Byrd and R. A. O'Keefe. EMAS C source code. 1984. Files beginning with "c_" and "h_" from https://history.dcs.ed.ac.uk/archive/os/emas/users/ecmi05/.