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