Technical Report Institution: Stanford Research Institute
1973.
Note: From the Nilsson Archives
Abstract
This report summarizes the results of a three- year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence
including automatic programming, theorem proving, and robot planning. The principal results of the project have been the design and implementation of two complete systems, QA4 and QLISP and their preliminary experimental use. QA4 has been documented in detail in a previous technical report. *1 This report contains a description of how both QA4 and QLISP have been used; the Preliminary QLISP Manual is attached as an appendix.