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.
Nearby terms:
Q « QA « qa « QA4 » QAM » Qbasic » QBE
|
