Other LISP 1.5 implementations
- LISP 1.5 for Univac M-460
- LISP 1.5 for AN/FSQ-32/V
- MBLISP (Martin Baltimore)
- LISP 1.5 for Univac 1108
LISP 1.5 for Univac M-460
The Univac M-460 was a military version of Univac 490. The LISP system was written by Timothy P. Hart and Thomas G. Evans at Air Force Cambridge Research Laboratories. The system was bootstrapped from Lisp 1.5 on the IBM 7090 using a cross-compiler and a small amount of machine language code for the lowest levels of the Lisp implementation. See:
- Timothy P. Hart and Thomas G. Evans. Notes on Implementing LISP for the
M-460 Computer. March 1964, pages 191-203 in Berkeley and Bobrow.
PDF
'This article describes the process used to implement LISP 1.5 on the Univac M 460 (an early military version of the Univac 490). This machine, which has been available to us on an open-shop basis, has 32000 register of 30-bit, 8 microsecond memory. It has an instruction set which is quite convenient for LISP, e.g., it is possible to load an index register (of which, incidentally, there are seven) from either the left or right half of the word addressed by the same index.'
Includes LISP source code of interpreter.
LISP 1.5 for AN/FSQ-32/V
The AN/FSQ-32/V was a military computer with 48-bit words; only one was built and it belonged to System Development Corporation, in Santa Monica, California. The LISP system was written by Robert Saunders, with assistance from Tim Hart, Dan Edwards, Mike Levin, John McCarthy, and Steve Russell.
"The Q-32 implementation was the first LISP that did not run on an interpreter: all code was compiled before execution. Someone subsequently wrote an interpreter for it, but I have no idea why other than for the fun and instruction of doing it. [As stated in Berkeley and Bobrow], the LISP was developed on Stanford's 709/90 system, compiled there, and taken to Santa Monica as machine instructions on magnetic tape. Some fundamental code (e.g. CONS, and later the garbage collector) was done in machine language on the Q-32 itself."
[Robert A. Saunders, personal communication to Paul McJones, May 6, 2005.]
- Robert A. Saunders. The LISP System for the Q-32
Computer. March 1964, pages 220-238 in Berkeley and Bobrow.
PDF
This paper says "Assistance was also given by D. Edwards and M. Levin of the Massachusetts Institute of Technology, and Prof. J. McCarthy and S. Russell of Stanford University. Computer time on the Stanford 7090 and PDP-1 was used in conjunction with Stanford's contract with Advanced Research Projects Agency for research in time sharing and artificial intelligence." However Saunders now says "The Stanford PDP-1 played no role whatever in the Lisp port. I am at a loss to explain any claim to the contrary. All the work was done on the 709/90/94 system, using punched cards." Russell concurs. [Personal communication to Paul McJones, 5/16/2005]
- Robert A. Saunders. The LISP Listing for the Q-32 Compiler, and Some Samples. March 1964, pages 290-318 in Berkeley and Bobrow. PDF
- S. L. Kameny. Input-Output File and Library Functions: the Q-32 LISP 1.5
Mod. 2.5 System, TM-2337/102/00, System Development Corporation, September 22, 1965.
- United States National Bureau of Standards Collection of Computer Literature, NBS# 6523059. (Box 335, folder 3). http://www.cbi.umn.edu/collections/inv/cbi00032_3.html
- S. L. Kameny. LISP 1.5 Reference Manual for Q-32, TM-2337/101/00, System Development Corporation, August 9, 1965.
- United States National Bureau of Standards Collection of Computer Literature, NBS# 6523060. (Box 335, folder 4). http://www.cbi.umn.edu/collections/inv/cbi00032_3.html
- Also cited by Blair 1971.
- S. L. Kameny, G.P. DeFlorio, and A.H. Vorhaus. General-Purpose Display System,
SP-1688, System Development Corporation, September 23, 1964.
- United States National Bureau of Standards Collection of Computer Literature, NBS# 6421245. (Box 291, folder 3). http://www.cbi.umn.edu/collections/inv/cbi00032_3.html
- S. L. Kameny and C. Weissman. Q-32 LISP 1.5 MOD. 2.6 SYSTEM : Operating System, Input-Output, File, and Library Functions. TM-2337/103/00, System Development Corporation, April 11, 1966. PDF
MBLISP (Martin Baltimore Lisp)
MBLISP was a Lisp 1.5 dialect developed by Harold V. McIntosh and his students at RIAS (Martin Baltimore) and the Quantum Theory Project (University of Florida).
Documentation
- William Skeen, Judy Barnes, John D. Baildon, and Robert Thompson. Handbook of LISP Functions. RIAS Technical Report 61-11, RIAS Martin Baltimore, August 1961. PDF
- Arnold K. Griffith. An Introduction to LISP. Preprint No. 31, Quantum Theory Project, University of Florida, November 15, 1962. PDF
"This volume is intended to be an introduction to LISP programming. In addition, the last section constitutes a revision of the HANDBOOK OF LISP FUNCTIONS (RIAS technical report 61-11)."
- Robert Yates. Group Analysis Programs. Program Note #5, Quantum Theory Project, University of Florida, July 1, 1963. PDF
- Harold V. McIntosh. Integer Arithmetic Functions in MBLISP. Program Note #6, Quantum Theory Project, University of Florida, July 15, 1963. PDF
- Harold V. McIntosh. Operators for MBLISP. Program Note #9, Quantum Theory Project, University of Florida, July 26, 1963. PDF
- Harold V. McIntosh. List Techniques. Program Note #13, Quantum Theory Project, University of Florida, August 20, 1963. PDF

LISP 1.5 for Univac 1108
"In the late 1960's, Eric Norman of the University of Wisconsin - Madison developed a LISP 1.5 dialect for the Univac 1100 series of mainframes ... .
The LISP system developed by Norman consisted of approximately 5,000 lines of Univac assembly language for the interpreter and about 1,000 lines or so of LISP for the compiler. Several interesting applications were developed under or ported to Univac LISP including: Planner (an early planning language designed by Carl Hewitt of MIT; MLISP (an Algol 60-like dialect of LISP); Fuzzy (a system that worked with Fuzzy Logic); and several LISP utilities such as a Pretty Print package, a Math Library, a source Editor, and a Debugger. The original source code for all of the above items -- including the full interpreter and compiler -- are contained herein and are discussed in some detail." [Jack Harper, http://www.frobenius.com/univac.htm]
"At the time, the Computing Center here at Wisconsin had decided to purchase a Univac 1108. It couldn't be delivered yet, though. What we had was a remote card reader and printer to an 1108 up in Minneapolis. Just about all the interpreter was developed that way. That is, I submitted a deck of cards at night and picked up the listings the next day. When the 1108 arrived on campus, LISP was already running on it." [Eric Norman, personal communication to Paul McJones, May 2005]
Source code and documentation
- Jack Harper. Univac 1100 LISP Documentation and Source Browser.
http://www.frobenius.com/source.htm
- Eric Norman. LISP Primer. http://www.frobenius.com/primer.htm
- Eric Norman and Rick LeFaivre. LISP Reference Manual. http://www.frobenius.com/reference.htm
- Eric Norman. Interpreter source code (ASM). Circa 1970? http://www.frobenius.com/interpreter.htm
- Eric Norman. Compiler source code (LISP). Circa 1970? http://www.frobenius.com/compiler.htm
- Rick LeFaivre. Description of 1108 MICRO-PLANNER. October 16, 1973. http://www.frobenius.com/plannerdoc.htm
- ???. MICRO-PLANNER source code (LISP). http://www.frobenius.com/planner.htm
- Jack Harper. First-Order Predicate Calculus Theorem Prover source code (LISP). Written for University of Houston EE-562 Artificial Intelligence class, Professor Samuel Lee, Spring 1974. http://www.frobenius.com/theorem.htm
- Rick LeFaivre. Fuzzy Logic source code (LISP). Circa 1976. http://www.frobenius.com/fuzzy.htm
- Eric Norman and Rick LeFaivre. Editor source code (LISP). Circa 1976. http://www.frobenius.com/editor.htm
- Eric Norman and Rick LeFaivre. Debugger source code (LISP). Circa 1976. http://www.frobenius.com/debugger.htm
- Eric Norman and Rick LeFaivre. PrettyPrint source code (LISP). Circa 1976. http://www.frobenius.com/prettyprint.htm
- Eric Norman and Rick LeFaivre. Arithmetic source code (LISP). Circa 1976. http://www.frobenius.com/arithmetic.htm