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.

N="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 ]