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.

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">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 ]