Documents

David H. D. Warren. EPILOG[400,400]: A User's Guide to DEC-10 PROLOG. Internal Memo. 1974; revised 1975. by Paul McJones — last modified 2022-11-23 10:53

David H. D. Warren. EPILOG[400,400]: A User's Guide to DEC-10 PROLOG. Internal Memo. Department of Artificial Intelligence, Edinburgh, 1974; revised 1975.

David H. D. Warren. What is Prolog? Slides for a talk, 1974. by Paul McJones — last modified 2022-02-18 15:01

David H. D. Warren. What is Prolog? Slides for a talk, 1974, 15 pages. Courtesy of Péter Szeredi.

David H. D. Warren. Example to Illustrate How PROLOG Is Implemented. 1974. by Paul McJones — last modified 2022-02-18 15:06

David H. D. Warren. Example to Illustrate How PROLOG Is Implemented. Last three slides of "What is Prolog?", 1974. In a different hand, "The 3 slides that were the basis of the Hungarian PROLOG implementation (1975)" has been added. Courtesy of Tim Lindholm.

David H. D. Warren. Warplan, A System for Generating Plans, research report, University of Edinburgh, Department of Computational Logic, memo 76, June 1974. by Paul McJones — last modified 2019-11-22 12:41

David H. D. Warren. Warplan, A System for Generating Plans, research report, University of Edinburgh, Department of Computational Logic, memo 76, June 1974.

[David H. D. Warren.] The Car Assembly Problem. Handwritten slides, 7 pages, undated. by Paul McJones — last modified 2019-11-22 12:51

[David H. D. Warren.] The Car Assembly Problem. Handwritten slides, 7 pages, undated. Gift of Maarten van Emden.

[David H. D. Warren.] Handwritten slides on compiling Prolog to DEC System 10, 4 pages, undated. by Paul McJones — last modified 2019-11-22 13:09

[David H. D. Warren.] Handwritten slides on compiling Prolog to DEC System 10, 4 pages, undated. Gift of Maarten van Emden.

D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 1. Research Report 39, Department of Artificial Intelligence, University of Edinburgh, May 1977. by Paul McJones — last modified 2019-11-22 13:01

D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 1. Research Report 39, Department of Artificial Intelligence, University of Edinburgh, May 1977. Superseded by [Warren 1978]. Gift of Maarten van Emden.

D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 2. Research Report 40, Department of Artificial Intelligence, University of Edinburgh, May 1977. by Paul McJones — last modified 2019-11-22 13:01

D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 2. Research Report 40, Department of Artificial Intelligence, University of Edinburgh, May 1977. Superseded by [Warren 1978]. Gift of Maarten van Emden.

David H. D. Warren. PROLOG on the DECsystem-10. 1979. by Paul McJones — last modified 2019-10-21 14:59

David H. D. Warren. PROLOG on the DECsystem-10. In: Donald Michie, editor. Expert Systems in the Micro-Electronic Age. Edinburgh University Press, 1979, pages 112-121.

Fernando Pereira, editor. C-Prolog User's Manual Version 1.2. SRI International, September 4, 1984. by Paul McJones — last modified 2019-11-05 15:29

Fernando Pereira, editor. C-Prolog User's Manual Version 1.2. SRI International, September 4, 1984.

Fernando Pereira, editor. C-Prolog User's Manual Version 1.2a. Edinburgh Computer Aided Architectural Design, March 1983. by Paul McJones — last modified 2019-11-05 15:31

Fernando Pereira, editor. C-Prolog User's Manual Version 1.2a. Edinburgh Computer Aided Architectural Design (EdCAAD), March 1983.

W. F. Clocksin. The ZIP Virtual Machine. January 1983, with subsequent revisions. by Paul McJones — last modified 2019-12-03 15:00

W. F. Clocksin. The ZIP Virtual Machine. January 1983, with subsequent revisions. [By this time, Clocksin was at Oxford or Cambridge.] “Prolog-X is an implementation of Prolog which makes use of an abstract (virtual) machine called the ZIP Machine. The ZIP Machine is defined by a pointer format, 32 registers, the format of storage areas, an instruction set, and assumptions about the layout of data structures in memory.”

W. F. Clocksin. What is Prolog-X? Computer Laboratory [University of Cambridge]. Undated, but after August 1983. by Paul McJones — last modified 2019-12-03 15:10

W. F. Clocksin. What is Prolog-X? Computer Laboratory [University of Cambridge]. Undated, but after August 1983. Andy Cheese’s Bibliography on Functional and Logic Programming tags it CLOCK84d. "Prolog-X is a portable design for a high-performance Prolog system intended for large-scale applications. … With the impending demise of the DEC-10, together with the wish to run big programs on machines such as the VAX and 68000, I set out to design a system based on Lawrence Byrd’s ZIP abstract instruction set … . Starting around March 1982 I implemented as much as I could, time permitting, in Pascal on a VAX under VMS. … The last release was Release 1.6 (August 1983)."

WFC [William F. Clocksin]. Executing Prolog at Ten Times DEC-10 Speed. [Computer Laboratory, University of Cambridge.], 28 November 1983. by Paul McJones — last modified 2019-12-03 15:24

WFC [William F. Clocksin]. Executing Prolog at Ten Times DEC-10 Speed. [Computer Laboratory, University of Cambridge.], 28 November 1983. Proposes a benchmark of naive reverse of a 30-element list, which is said to take 53.7 milliseconds under DEC-10 Prolog.

W. F. Clocksin. Memory Representation Issues for Prolog Implementation. Computer Laboratory, University of Cambridge, undated, but 1983 or later. by Paul McJones — last modified 2019-12-03 15:25

W. F. Clocksin. Memory Representation Issues for Prolog Implementation. Computer Laboratory, University of Cambridge, undated, but 1983 or later. Proposes a conventional (uniform) heap memory with incremental garbage collector.

WFC [William F. Clocksin]. Notes on new Prologs. [Computer Laboratory, University of Cambridge,] 7/5/84 [7 May 1984?]. by Paul McJones — last modified 2019-12-03 15:27

WFC [William F. Clocksin]. Notes on new Prologs. [Computer Laboratory, University of Cambridge,] 7/5/84 [7 May 1984?]. "I suggest the Cambridge implementation of Standard Lisp to be an ideal substrate from which to build a mixed language system. At the moment, I (with ROK [Richard O’Keefe] and ACN [Arthur C. Norman]) am investigating the feasibility of writing a Prolog compiler to be integrated with the Cambridge Lisp system."

W. F. Clocksin. Reference Summary of Prolog-X. Computer Laboratory, University of Cambridge, June 1984; revised 20 July 1984. by Paul McJones — last modified 2019-12-03 15:28

W. F. Clocksin. Reference Summary of Prolog-X. Computer Laboratory, University of Cambridge, June 1984; revised 20 July 1984. Andy Cheese cites a 1986 version of this document. Mentions C as the “base language”, and gives the address space (and integer values) as 2^28, so presumably this is a rewrite of the earlier Pascal-based “executable specification”?

William F. Clocksin. Design and Simulation of a Sequential Prolog Machine. Technical report, 1984. by Paul McJones — last modified 2020-02-14 10:01

William F. Clocksin. Design and Simulation of a Sequential Prolog Machine. Technical report, 1984.

D. H. D. Warren, L. M. Pereira and F. Pereira. Prolog - the Language and its Implementation compared with Lisp. Slides for 1977 ACM symposium. by Paul McJones — last modified 2021-02-09 09:30

D. H. D. Warren, L. M. Pereira and F. Pereira. Prolog - the Language and its Implementation compared with Lisp. Slides for lecture presented at Proceedings of ACM Symposium on Artificial Intelligence and Programming Languages, Rochester, N.Y., 1977.

[David Warren.] DEC-10 Prolog implementation notes. 1976? by Paul McJones — last modified 2021-02-19 12:19

[David Warren.] DEC-10 Prolog implementation notes. 12 handwritten pages. Gift of David H. D. Warren. "Some handwritten notes by DW, probably mainly to assist FP in writing the garbage collector, and therefore probably written quite early (1976?)." [David Warren, personal communication, 18 Feb 2021]

[Fernando Pereira.] DEC-10 Prolog implementation notes. 1976 or 1977? by Paul McJones — last modified 2021-02-19 12:19

[Fernando Pereira.] DEC-10 Prolog implementation notes. 10 handwritten pages. Gift of David H. D. Warren. "Some rough handwritten notes by FP. Probably a forerunner to his installation guide, and written quite early on (1976 or 1977?)." [David Warren, personal communication, 18 Feb 2021]

[Fernando Pereira.] Prolog Installation for Systems Programmers. 26 Jun 1978. by Paul McJones — last modified 2021-02-19 13:06

[Fernando Pereira.] Prolog Installation for Systems Programmers. 26 Jun 1978. Gift of David H. D. Warren. "Typewritten guide produced by FP, dated 26 Jun 1978, with a changes summary dated 15 Jun 1978." [David Warren, personal communication, 18 February 2021]

[Fernando Pereira.] Module summary. 1978? by Paul McJones — last modified 2021-02-19 13:09

[Fernando Pereira.] Module summary. 1978? Gift of David H. D. Warren. "A summary of the DEC-10 Prolog modules produced by FP, probably also dating from Jun 1978. The author of each module is noted (DW or FP), with DW+ indicating a module written by DW with some modifications by FP." [David H.D. Warren, personal communication, 18 Feb 2021]

C. S. Mellish. Short Guide to UNIX PROLOG Implementation. 25 October 1979. by Paul McJones — last modified 2021-02-09 12:47

C. S. Mellish. Short Guide to UNIX PROLOG Implementation. [Technical Report, Department of Artificial Intelligence, University of Edinburgh], 25 October 1979.

[David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor". by Paul McJones — last modified 2023-06-13 10:57

[David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor". “The point of this design is to extend the existing Prolog-X design so that a number of Prolog features supported by the Dec-10 interpreter (and in one case by a library routine) may be handled by the Prolog-X compiler and byte-code interpreter.” Includes disjunction (;), if-then-else, negation by finite failure (\+), iteration (forall). Adds new instructions Or, Alt, Goto, EndOr, Arrow, Slice, and TimidCut."