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

Documents

Up one level
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.
« 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: