Programming Language - QA4


QA4

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.

Comments, Experience, Additions

Next Language:   Q`NIAL


Language Search

 


Browse by Letter

A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


QA4 Programming Language
http://www.programming-languages.co.uk/qa4.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages