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.

In addition suitable contents:
[ ag ] [ al ] [ am ] [ an ] [ as ] [ at ] [ b ] [ ba ] [ base ] [ C ] [ ca ] [ ch ] [ cu ] [ du ] [ ed ] [ edu ] [ er ] [ es ] [ et ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hing ] [ IFIP ] [ in ] [ int ] [ io ] [ IP ] [ IS ] [ ISP ] [ it ] [ J ] [ la ] [ language ] [ lc ] [ li ] [ LIS ] [ lu ] [ lv ] [ ma ] [ ms ] [ ng ] [ ni ] [ ns ] [ pa ] [ pr ] [ Q ] [ QA ] [ Quest ] [ re ] [ ro ] [ S ] [ se ] [ so ] [ SP ] [ st ] [ tc ] [ th ] [ tt ] [ ua ] [ us ] [ ve ] [ vi ]