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.

(03 Feb 2009)

q, Q10, QA, QA, qa < Prev | Next > QAA, QALY, QAM, Q angle

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums