New PARC reports at Bitsavers

[Paolo Amoroso]

Bitsavers posted a couple dozen new PARC reports, some of which related to Interlisp and some others rescans of documents already available.

INTRODUCING ITERATION INTO THE PURE LISP THEOREM PROVER by J Strother Moore (1975). Extending the Boyer-Moore theorem prover.

An Overview of KRL, a Knowledge Representation Language by Daniel Bobrow and Terry Winograd (1976). KRL was written in Interlisp, right?

Monitoring System Behavior In a Complex Computational Environment by Mitchell L. Model (1979). Debugging and monitoring tools for AI systems. One Larry Masinter is thanked in the acknowledgments. The work was done with DLISP and the report may help fine tune the Interlisp timeline as it mentions using a prerelease version of DLISP. The screenshots and applications here are the only ones of DLISP I've seen other than in Teitelman's classic paper.

A Retrospective on the Dorado, A High-Performance Personal Computer by Kenneth A. Pier (1983). Some incidental mentions of Interlisp.

--

Paolo Amoroso | Blog | Mastodon

[Paolo Amoroso]

Bitsavers uploaded a few more PARC reports relevant to Interlisp and XNS:

Papers on lnterlisp-D edited by Beau Sheil and Larry Masinter (1983). A reprint of some papers published elsewhere and bundled as a blue and white.

Grapevine: Two Papers and a Report by various authors (1983).

Grapevine: an Exercise in Distributed Computing by Andrew Birrel et al. (1982).

[Ron Kaplan]

Yes, KRL was written in Interlisp, it was the semantic part of the language understanding system we were building (the so-called GUS dialog system, that still gets cited. LFG emerged from work on the syntactic component).  I have a feeling that I might still have a binder with the KRL code, although probably won't be able to find it.

--
You received this message because you are subscribed to the Google Groups "Medley Interlisp core" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lispcore+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/lispcore/CAGi1hzvznVdrdm5S%3DCis9FPds%2BY_phSVj5DXYJQTXTjjxQLvrw%40mail.gmail.com.