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, Proceedings of the IFIP Congress 1968.