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 Details

QA4 Programming Concepts

by Rulifson, Johns F.

Technical Note 60
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Aug 1971.

Note: SRI Project 8721. The research reported herein was sponsored by the National Aeronautics and Space Administration under Contract NASW-2086.

Order an AIC Technical Note

Abstract

The QA4 programming language is designed for the writing of theorem-provers, robot planners, and problem solvers. The language permits the specification of ambiguous, unorganized programs that solve problems mainly through the use of expression transformation programs that are guided by semantic and pragmatic information. This note presents an informal introduction to the unusual programming concepts used in the construction of such problem-solving programs.

Electronic Copies


Adobe PDF

BibTeX

EndNote

AIC Personnel

Name Title E-mail
Rulifson, Johns F. Alumnus

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