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.