qa4

from The Free On-line Dictionary of Computing (8 July 2008)

QA4

   Question-answering language.  A procedural calculus for
   intuitive reasoning.  A LISP-based pattern-matching language
   for theorem proving.  "QA4, A Language for Writing
   Problem-Solving Programs", J.F. Rulifson et al, Proc IFIP
   Congress 1968.