Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in EndNote Format

%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

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy