|
Documents
Up one level
-
Patti Kahn et al. Quintus Prolog User's Guide. Release 1.0, 1985.
by
Paul McJones
—
last modified
2019-11-19 16:02
-
Patti Kahn et al. Quintus Prolog User's Guide. Release 1.0, 1985.
-
David Bowen et al. Quintus Prolog Reference Manual. Release 1.0, 1985.
by
Paul McJones
—
last modified
2019-11-19 16:03
-
David Bowen et al. Quintus Prolog Reference Manual. Release 1.0, 1985.
-
Lawrence Byrd, William Kornfeld, and David Warren. Quintus Computer Systems, Inc. 12 Mar 1984.
by
Paul McJones
—
last modified
2021-02-19 13:20
-
Lawrence Byrd, William Kornfeld, and David Warren. Quintus Computer Systems, Inc. 16 pages. "Talk given on March 12, 1984." Explains foundations of Quintus, its technology and its Prolog. Gift of Fernando Pereira.
-
Fernando Pereira. Interface Specification for Critical Sections. July 14, 1984.
by
Paul McJones
—
last modified
2021-02-19 13:30
-
Fernando Pereira. Interface Specification for Critical Sections. July 14, 1984, 3 pages. This is a header file, critical.ih, containing the interface specification as a comment, followed by the implementation file, critical.c. Gift of Fernando Pereira.
-
Unknown. Quintus Prolog Technical Summary. July 14, 1984.
by
Paul McJones
—
last modified
2021-02-19 13:33
-
Unknown. Quintus Prolog Technical Summary. techsum.txt, July 14, 1984, 2 pages. Gift of Fernando Pereira.
-
David Warren, et al. Product Specifications. July 1984, 29 pages.
by
Paul McJones
—
last modified
2021-02-19 13:50
-
• David Warren, et al. Product Specifications. July 1984, 29 pages. Gift of Fernando Pereira.
• David Warren. Product Specifications. product-spec.note, 2 pages. Preliminary specification of Mark 1 version of Quintus Prolog.
• David Warren. Milestones. milestones.note, 1 page. Quintus product milestones.
• Unknown. Engineering Roadmap through 31August. schedules.txt, 1 page. Notes in pen detail changes to the roadmap, probably by Fernando Pereira. Uses initials to identify engineers.
• David Warren. Specification for Static and Dynamic Procedures. static-dynamic.note, 1 page.
• William Kornfield. Floating point specification (Mark I). float.txt, 2 pages.
• William Kornfeld. Emacs Interface (Mark I). emacs.txt, 3 pages.
• William Kornfeld? Mark I I/O enhancements, io.txt, 1 page.
• William Kornfeld. Style Warnings. warnings.txt, 1 page.
• Unknown, Mark I error handling. error.txt, 1 page.
• Lawrence Byrd. Debugger. debug.spec, 2 pages.
• Lawrence Byrd. C Interface under Unix. cface.spec, 8 pages.
• Lawrence Byrd. Default definition for main() on composite systems. qpmain.c. 1 page.
• Lawrence Byrd. Some examples of C procedure interfaces. cproc.eg1, 3 pages.
• Lawrence Byrd. Another C interface procedure example. cproc.eg2, 2 pages.
-
Fernando Pereira. A Strategy for Information Handling in Prolog (Draft). December 29, 1984/
by
Paul McJones
—
last modified
2021-02-19 13:51
-
Fernando Pereira. A Strategy for Information Handling in Prolog (Draft). December 29, 1984, 7 pages. Gift of Fernando Pereira.
-
Unknown. Quintus Prolog - Version Chart. 13 Nov 1985.
by
Paul McJones
—
last modified
2021-02-19 13:55
-
Unknown. Quintus Prolog - Version Chart. November 13, 1985, 1 page. Photocopy of hand-drawn diagram of post-1.0 development: branches for ports, with reintegration into the main development branch.
-
Fernando Pereira. Sketch Design for a Prolog multi-process facility. 5 Oct 1986.
by
Paul McJones
—
last modified
2021-02-19 13:58
-
Fernando Pereira. Sketch Design for a Prolog multi-process facility. 5 Oct 1986, 12 pages. Gift of Fernando Pereira. "... based on ideas from CSP, Delta-Prolog and Luca Cardelli's rendezvous facility for Amber."
-
Release Notes for Quintus Prolog Release 2.0 FCS. Undated — late 1980s?
by
Paul McJones
—
last modified
2021-02-19 14:07
-
Release Notes for Quintus Prolog Release 2.0 FCS. Undated — late 1980s? Gift of Tim Lindholm.
-
[William Kornfeld?] The Lisp Interface. lisp.mss, 24 Apr 1985.
by
Paul McJones
—
last modified
2021-02-19 14:20
-
[William Kornfeld?] The Lisp Interface. lisp.mss, 24 Apr 1985. Describes calling conventions from Prolog to Lisp in the Interlisp port of Quintus Prolog 1.5. Gift of Tim Lindholm.
-
Peter Schachte. Macros for Quintus Prolog. 24 Jul 1986.
by
Paul McJones
—
last modified
2023-05-08 13:46
-
Peter Schacte.
Macros for Quintus Prolog.
24 Jul 1986. Gift of Tim Lindholm.
-
Unknown. Multi-Processing in Quintus Prolog. Undated.
by
Paul McJones
—
last modified
2021-02-19 14:26
-
Unknown.
Multi-Processing in Quintus Prolog.
Undated. Gift of Tim Lindholm.
-
Unknown. Proposal for Parallel Quintus Prolog. Draft 2, 1 Jun 1988.
by
Paul McJones
—
last modified
2021-02-19 14:29
-
Unknown.
Proposal for Parallel Quintus Prolog.
Draft 2, 1 Jun 1988. Gift of Tim Lindholm.
“Quintus has carefully considered a number of approaches to a parallel version of Quintus Prolog for the Sequent Symmetry series of machines, under the Dynix version of Unix. The present proposal indicates intent for a specific direction, among two principal alternatives.”
-
Tim Lindholm. Parallel Prolog Experiments. Transparencies, 1988.
by
Paul McJones
—
last modified
2021-02-19 14:31
-
Tim Lindholm.
Parallel Prolog Experiments.
Quintus Computer Systems, Inc. / currently at Argonne National Laboratory,
Transparencies, 1988. Gift of Tim Lindholm.
-
Robert M. Keller. Parallel Programming in Prolog. Transparencies, September 1988.
by
Paul McJones
—
last modified
2021-02-19 14:34
-
Robert M. Keller.
Parallel Programming in Prolog.
Transparencies, Sequent Users’ Resource Forum, Newport Beach, CA, September 1988.
Quintus Computer Systems, Inc., Mountain View, California. Gift of Tim Lindholm.
-
Peter Schachte. An Improved Prolog Debugger. 4 Oct 1989.
by
Paul McJones
—
last modified
2021-02-19 14:38
-
Peter Schachte.
An Improved Prolog Debugger.
4 Oct 1989. Gift of Tim Lindholm.
|
«
|
December
2024
|
»
|
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 |
|
|
|
|
|