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 |
