Source : Free On-Line Dictionary of Computing

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.