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.





< Previous Terms Terms Containing QA4 Next Terms >
Pythagoras' Theorem
Python
Q
QA
qa
 QA4
QLISP
 QAM
Qbasic
QBE
QCA
qdjanus