%0 Report %@ 48 %A Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A. %T A Language for Writing Problem-Solving Programs %C 333 Ravenswood Ave, Menlo Park, CA 94025" %I AI Center, SRI International %D 1971 %K Problem Solving %X This paper describes a language for constructing problem-solving programs. The language can manipulate several data structures, including ordered and unordered sets. Pattern matching facilities may be used in various ways, including the binding of variables. Implicit backtracking facilitates the compact representation of search procedures. Expressions are treated analogously to atoms in LISP. A "context" device is used to implement variable bindings, to effect conditional proofs, and to solve the "frame" problem in robot planning. %O Paper accepted for presentation at IFIP Congress ’71, Ljubljana, Yugoslavia, August 23-28, 1971. SRI Projects 8259, 8721, 8550. The research reported herein was sponsored by the Advanced Research Projects Agency and the National Aeronautics and Space Administration under Contracts NAS12-2221, and NASW-2086, and by Air Force Cambridge Research Laboratories under Contract F19628-70-C-2046. %U http://www.ai.sri.com/pubs/files/1466.pdf
