Qa4

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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.