%0 Report %A Raphael, B., Fikes, R., and Waldinger, R. %T Final Report for SRI Project 8721 %I Stanford Research Institute %D 1973 %K QA4, QLISP, Theorem Proving!QA4, Deductive Retrieval System, Tree Searching System, Robot Planning and Execution System!Hierarchical, Program Verification %X 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. %O From the Nilsson Archives %U http://www.ai.sri.com/pubs/files/raphael73-p8721-final.pdf
