QA4

QA4

Question-answering language. A procedural calculus forintuitive reasoning. A LISP-based pattern-matching languagefor theorem proving. "QA4, A Language for WritingProblem-Solving Programs", J.F. Rulifson et al, Proc IFIPCongress 1968.