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.
Comments, Experience, Additions
Next Language: Q`NIAL