The QA4 language applied to robot planning

@inproceedings{Derksen1972TheQL,
  title={The QA4 language applied to robot planning},
  author={Jan A. Derksen and Johns F. Rulifson and Richard J. Waldinger},
  booktitle={AFIPS '72 (Fall, part II)},
  year={1972}
}
This paper introduces an implemented version of a problem-solving language called QA4 (Question Answerer 4) and illustrates the application of that language to some simple robot problems. This application is especially appropriate, because the QA4 language has features that are recognized as useful for problemsolving programs; these features include built-in backtracking, parallel processing, pattern matching, and set manipulation. Expressions are put into a canonical form and stored uniquely… CONTINUE READING