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

Documents

Up one level
Grant Maxwell Roberts. An Implementation of PROLOG. 1977 by Paul McJones — last modified 2019-05-16 15:19
Grant Maxwell Roberts. An Implementation of PROLOG. Master's thesis, University of Waterloo, Waterloo, Ontario, Canada, 1977.
Grant Roberts. Waterloo Prolog User's Guide, version 1.4. by Paul McJones — last modified 2019-05-21 17:14
With handwritten corrections by author.
Grant Roberts. Waterloo Prolog User's Guide, version 1.4. Grayscale version. by Paul McJones — last modified 2019-05-21 17:14
With handwritten corrections by author. Grayscale version.
Feliks Kluźniak. The `Marseille Interpreter' -- a personal perspective. 1984 by Paul McJones — last modified 2019-05-17 15:12
Feliks Kluźniak. The `Marseille Interpreter' -- a personal perspective. In J. A. Campbell, editor, Implementations of Prolog, Ellis Horwood, 1984.
M. H. van Emden. An interpreting algorithm for Prolog programs. 1982. by Paul McJones — last modified 2019-06-03 17:30
M. H. van Emden. An interpreting algorithm for Prolog programs. First International Logic Programming Conference, University of Marseille, 1982. Also published in: J. A. Campbell, editor, Implementations of Prolog, Ellis Horwood, 1984.
Mantis H. M. Cheng. Waterloo Unix Prolog and Lisp Environment. by Paul McJones — last modified 2019-06-20 11:34
Mantis H. M. Cheng. Waterloo Unix Prolog and Lisp Environment. Report includes User Manual, Implementor Manual, and Source Code listing. University of Waterloo.
Mantis H. M. Cheng. FPL manual, source listing, and examples. University of Waterloo, 1988. by Paul McJones — last modified 2019-06-20 11:11
Mantis H. M. Cheng. FPL manual, source listing, and examples. University of Waterloo, 1988. A typed functional programming language.
W. F. Clocksin. The DelPhi multiprocessor inference computer. 1992. by Paul McJones — last modified 2019-06-12 11:01
W. F. Clocksin. The DelPhi multiprocessor inference computer. Workshop #6 (parallel and distributed implementations), 1992 International Joint Conference and Symposium on Logic Programming, Washington, 1992. Original from ftp://cliplab.org/pub/papers/IJCSLP92-WS6/SessionA/William.Clocksin.paper.ps.Z .
BNR Prolog Reference Manual (Macintosh version). by Paul McJones — last modified 2019-07-07 20:09
BNR Prolog Reference Manual (Macintosh version).
BNR Prolog User Guide (Macintosh version). by Paul McJones — last modified 2019-07-07 20:10
BNR Prolog User Guide (Macintosh version).
William J. Older. Introduction to CLP(BNR). 1995. by Paul McJones — last modified 2019-07-09 12:02
William J. Older. Introduction to CLP(BNR): Notes from a course given at Carleton University, Winter Term, 1995.
J. A. Robinson and E. E. Sibert. The LOGLISP User's Manual. Describes version V2M3 of LOGLISP, December 1981. by Paul McJones — last modified 2019-07-27 17:24
J. A. Robinson and E. E. Sibert. The LOGLISP User's Manual. Describes version V2M3 of LOGLISP, December 1981. Accesion number 102719696, Herbert Stoyan collection on LISP programming, Computer History Museum.
Zacharias Bobolakis. L&O on IC PROLOG ][ User’s Guide DRAFT. Circa 1993. by Paul McJones — last modified 2019-08-06 19:31
Zacharias Bobolakis. L&O on IC PROLOG ][ User’s Guide DRAFT. Circa 1993.
Yannis Cosmadopoulos and Damian Chu. IC Prolog II Reference Manual. Version 0.96, September 28, 1993. by Paul McJones — last modified 2019-08-09 15:35
Yannis Cosmadopoulos and Damian Chu. IC Prolog II Reference Manual. Technical Report, Logic Programming Section, Department of Computing, Imperial College, Version 0.96, September 28, 1993.
Parlog Group. The Parallel Parlog User Manual, V1.5.9. 9 October 1989, revised 28 September 1993. by Paul McJones — last modified 2019-08-09 15:37
Parlog Group. The Parallel Parlog User Manual V1.5.9. Department of Computing, Imperial College, London, 9 October 1989, revised 28 September 1993.
Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Université Aix-Marseille II, France, May 1972. by Paul McJones — last modified 2019-08-08 20:54
Philippe Roussel. Définition et traitement de l'égalité formelle en démonstration automatique. Thèse de 3ème cycle, Groupe Intelligence Artificielle, Faculté des Sciences de Luminy, Université Aix-Marseille II, France, May 1972.
F. G. McCabe. Abstract PROLOG machine — a specification. DOC 83/12, Department of Computing, Imperial College, May 1983. by Paul McJones — last modified 2019-08-09 11:58
F. G. McCabe. Abstract PROLOG machine — a specification. DOC 83/12, Department of Computing, Imperial College, May 1983.
M. Carlsson. On Compiling Indexing and Cut for the WAM. Swedish Institute of Computer Science, Report R86011B, December 18, 1986. by Paul McJones — last modified 2019-08-12 09:53
M. Carlsson. On Compiling Indexing and Cut for the WAM. Swedish Institute of Computer Science, Report R86011B, December 18, 1986.
Mats Carlsson. An Implementation of dif and freeze in the WAM. Research Report R86012, Swedish Institute of Computer Science, December 18, 1986. by Paul McJones — last modified 2019-08-12 09:58
Mats Carlsson. An Implementation of dif and freeze in the WAM. Research Report R86012, Swedish Institute of Computer Science, December 18, 1986.
Péter Szeredi and Mats Carlsson. The Engine-Scheduler Interface in the Aurora Or-Parallel Prolog System. Technical Report TR90-09, University of Bristol, April 1990. by Paul McJones — last modified 2019-08-12 10:16
Péter Szeredi and Mats Carlsson. The Engine-Scheduler Interface in the Aurora Or-Parallel Prolog System. Technical Report TR90-09, University of Bristol, April 1990.
Mats Carlsson. On implementing Prolog in functional programming. UPMAIL Technical Report 5, Uppsala, revised December 8, 1983. by Paul McJones — last modified 2019-08-12 10:52
Mats Carlsson. On implementing Prolog in functional programming. UPMAIL Technical Report 5, Uppsala, revised December 8, 1983.
Kenneth M. Kahn. A Grammar Kit in Prolog. UPMAIL Technical Report 14C, revised February 2, 1985 by Mats Carlsson. by Paul McJones — last modified 2019-08-12 10:57
Kenneth M. Kahn. A Grammar Kit in Prolog. UPMAIL Technical Report 14C, revised February 2, 1985 by Mats Carlsson.
Kenneth M. Kahn. Unique Features of LISP Machine Prolog. UPMAIL Technical Report 14, 1983 and Report 15B, revised February 1985 by Mats Carlsson. by Paul McJones — last modified 2019-08-12 11:00
Kenneth M. Kahn. Unique Features of LISP Machine Prolog. UPMAIL Technical Report 14, 1983 and Report 15B, revised February 1985 by Mats Carlsson.
Mats Carlsson. LM-Prolog - The Language and its Implementation. UPMAIL Technical Report 30, October 1984. by Paul McJones — last modified 2019-08-12 11:18
Mats Carlsson. LM-Prolog - The Language and its Implementation. Thesis for Licentiat of Philosophy in Computer Science at Uppsala University. UPMAIL Technical Report 30, October 1984.
Mats Carlsson. Compilation for Tricia and Its Abstract Machine, UPMAIL Technical Report 35, Uppsala, Sept. 1986. by Paul McJones — last modified 2019-08-12 14:17
Mats Carlsson. Compilation for Tricia and Its Abstract Machine, UPMAIL Technical Report 35, Uppsala, Sept. 1986.
« August 2019 »
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: