Personal tools
You are here: Home → Projects → Prolog → University of Edinburgh → Documents
Navigation
Log in


Forgot your password?
 
Views
Document Actions

Documents

Up one level
 Title   Size   Modified   State 
David H. D. Warren. EPILOG[400,400]: A User's Guide to DEC-10 PROLOG. Internal Memo. 1974; revised 1975. 899.9 kB 2022-11-23 10:53 Public
David H. D. Warren. What is Prolog? Slides for a talk, 1974. 1.9 MB 2022-02-18 15:01 Public
David H. D. Warren. Example to Illustrate How PROLOG Is Implemented. 1974. 473.0 kB 2022-02-18 15:06 Public
David H. D. Warren. Warplan, A System for Generating Plans, research report, University of Edinburgh, Department of Computational Logic, memo 76, June 1974. 3.2 MB 2019-11-22 12:41 Public
[David H. D. Warren.] The Car Assembly Problem. Handwritten slides, 7 pages, undated. 727.9 kB 2019-11-22 12:51 Public
[David H. D. Warren.] Handwritten slides on compiling Prolog to DEC System 10, 4 pages, undated. 379.6 kB 2019-11-22 13:09 Public
D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 1. Research Report 39, Department of Artificial Intelligence, University of Edinburgh, May 1977. 6.5 MB 2019-11-22 13:01 Public
D. H. D. Warren, Implementing Prolog-Compiling Predicate Logic Programs, part 2. Research Report 40, Department of Artificial Intelligence, University of Edinburgh, May 1977. 3.5 MB 2019-11-22 13:01 Public
David H. D. Warren. PROLOG on the DECsystem-10. 1979. 3.8 MB 2019-10-21 14:59 Public
Fernando Pereira, editor. C-Prolog User's Manual Version 1.2. SRI International, September 4, 1984. 746.9 kB 2019-11-05 15:29 Public
Fernando Pereira, editor. C-Prolog User's Manual Version 1.2a. Edinburgh Computer Aided Architectural Design, March 1983. 797.4 kB 2019-11-05 15:31 Public
W. F. Clocksin. The ZIP Virtual Machine. January 1983, with subsequent revisions. 660.0 kB 2019-12-03 15:00 Public
W. F. Clocksin. What is Prolog-X? Computer Laboratory [University of Cambridge]. Undated, but after August 1983. 590.2 kB 2019-12-03 15:10 Public
WFC [William F. Clocksin]. Executing Prolog at Ten Times DEC-10 Speed. [Computer Laboratory, University of Cambridge.], 28 November 1983. 432.3 kB 2019-12-03 15:24 Public
W. F. Clocksin. Memory Representation Issues for Prolog Implementation. Computer Laboratory, University of Cambridge, undated, but 1983 or later. 265.2 kB 2019-12-03 15:25 Public
WFC [William F. Clocksin]. Notes on new Prologs. [Computer Laboratory, University of Cambridge,] 7/5/84 [7 May 1984?]. 261.0 kB 2019-12-03 15:27 Public
W. F. Clocksin. Reference Summary of Prolog-X. Computer Laboratory, University of Cambridge, June 1984; revised 20 July 1984. 810.8 kB 2019-12-03 15:28 Public
William F. Clocksin. Design and Simulation of a Sequential Prolog Machine. Technical report, 1984. 1.1 MB 2020-02-14 10:01 Public
D. H. D. Warren, L. M. Pereira and F. Pereira. Prolog - the Language and its Implementation compared with Lisp. Slides for 1977 ACM symposium. 1.8 MB 2021-02-09 09:30 Public
[David Warren.] DEC-10 Prolog implementation notes. 1976? 1.3 MB 2021-02-19 12:19 Public
[Fernando Pereira.] DEC-10 Prolog implementation notes. 1976 or 1977? 1003.3 kB 2021-02-19 12:19 Public
[Fernando Pereira.] Prolog Installation for Systems Programmers. 26 Jun 1978. 2.3 MB 2021-02-19 13:06 Public
[Fernando Pereira.] Module summary. 1978? 1.1 MB 2021-02-19 13:09 Public
C. S. Mellish. Short Guide to UNIX PROLOG Implementation. 25 October 1979. 2.6 MB 2021-02-09 12:47 Public
[David Bowen or William F. Clocksin?]. Disjunction for Prolog-X. August 24, 1983. Filename of document was "zipor". 842.7 kB 2023-06-13 10:57 Public
« July 2025 »
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: