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 etal, ProcIFIP Congress 1968.
Ask a Tech Expert Now
Andy, Computer Consultant
11yr exp, Comp Eng, Internet expert, Web developer, SEO