GENI的核心 -- 推理机（5）处理why问题
1、why问题由客户从浏览器提出
专家系统工作时，需要向用户提出问题，收集推理求证用的事实根据。
用户有时想知道，系统为什么提出这样的问题，要求系统给出解释。这就是所谓的why问题。
why问题的提出，是按动网页按钮“why”的结果。
2、why功能的设置
GENI的第一个页面default.htm并没有按钮“why”。它的设置过程是这样的：
从上一节的谓词check第3子句说起。
check( RNO, HISTORY, [CNO|REST] ):- cond(CNO,TEXT,OPTIONS),!, inpq(HISTORY,RNO,CNO,TEXT,OPTIONS).
这时的cond是未经求证的条件，即不存在yes(CNO)和no(CNO)的事实，于是，开始求证子目标inpq。
inpq(HISTORY,RNO,CNO,TEXT,OPTIONS)
inpq(HISTORY,RNO,CNO,TEXT,_):-
whymeet,!,
gen_why(HISTORY,RNO,TEXT,CNO),
endpage_Why(),
exit.
inpq(_HISTORY,_RNO,CNO,TEXT,""):-!,
write("\nIs it true that: ",TEXT,"\n<BR>"),
format(CONDSTR,"cond_%",CNO),
endpage(CONDSTR),
exit.
inpq(_HISTORY,_RNO,CNO,TEXT,FILENAME):-
is_htmlfile(FILENAME),!,
consult_htm(FILENAME,HtmlText),
gethtmlbody(HtmlText,BodyText),
write(BodyText),
write("\nIs it true that: ",TEXT,"\n<BR>"),
format(CONDSTR,"cond_%",CNO),
endpage(CONDSTR),!,
exit.
inpq(_HISTORY,_RNO,CNO,TEXT,PICTURE):-
write("\nIs it true that: ",TEXT," ",PICTURE,"\n"),
format(CONDSTR,"cond_%",CNO),
endpage(CONDSTR),!,
exit.
Inpq的第1子句，处理why问题，生成专门网页。下面将有介绍。
Inpq的第2、3、4子句，共同之处，都设置了进一步的提问求证和why功能。不同之处，只是显示网页的方法各异。
why功能的实际设置，在谓词endpage。
endpage(CONDITION)
Endpage前面已有介绍，不再重复啰嗦。只是强调一下其第2子句中，设置why问题。
writef("<Input type=\"BUTTON\" value=\"Why\" onclick=\"form.%s.value=‘why‘;submit()\">\n",CONDITION),
CONDITION的值为cond_X，X是数字。假设X=15，在按钮“why”后，form.cond_15.value=‘why’。
这一变量，决定了whymeet进入事实库。
whymeet进入事实库
前面小节中已经介绍过，cond_15=why这种CGI数据，会整理成parm(“cond_15”,”why”)这种样子。
经过GOAL的assert_conditions求证，来到assert_cond(“cond_15”,”why”)的求证：
assert_cond(CNO,"yes"):-!,assert(yes(CNO)). assert_cond(CNO,"no"):-!,assert(no(CNO)). assert_cond(_CNO,"why"):-!,assert(whymeet). assert_cond(_,_):-errorexit.
第3子句，将whymeet存入事实库。
3、why问题的处理
上述谓词inpq的第1子句，负责处理why问题。
inpq(HISTORY,RNO,CNO,TEXT,_):- whymeet,!, gen_why(HISTORY,RNO,TEXT,CNO), endpage_Why(), exit.
事实whymeet的存在，说明用户在浏览器按下了按钮“why”，提出了这个问题。往下接着看gen_why和endpage_Why。
gen_why(HISTORY,RNO,TEXT,CNO)
gen_why(HISTORY,RNO,_TEXT,_CNO):-
write("Why<BR>\n"),
rule( RNO, Mygoal1, Mygoal2, _ ,_),!,
sub_cat(Mygoal1,Mygoal2,Lstr),
concat("I try to show that: ",Lstr,Lstr1),
concat(Lstr1,"<BR>\nBy using rule number ",Ls1),
str_int(Str_num,RNO),
concat(Ls1,Str_num,Ans),
show_rule(RNO,Lls1),
concat(Ans,Lls1,Ans1),
report(HISTORY,Sng),
concat(Ans1,Sng,Answ),
write(Answ),nl.
gen_why(_HISTORY,_RNO,_TEXT,_CNO):-
errorexit.
show_rule和report，以及endpage_Why都是外建谓词，主要用于显示网页的内容，不再介绍。其余的内建谓词，前面几节有过介绍，不再重复。
一点建议
直到写完小节（10），才发现VIP的目录EXAMPLES里有单机版的GENI。
由于没有CGI处理HTML显示等问题，程序逻辑简单许多，更适合学习研究。
Visual Prolog 的 Web 专家系统 （11）