DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   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.