Visual Prolog 的 Web 专家系统 （9）

GENI的核心 -- 推理机（3）一些谓词

为了集中注意力，较好地分析GENI推理机核心程序，应该做些准备工作，弄明白一些起辅助作用的谓词功能。

is_htmlfile(Rulexpl)

  is_htmlfile(FILE):-
  	filenameext(File,_Name,Mask),
  	Mask = ".htm",!.
  is_htmlfile(FILE):-
  	filenameext(File,_Name,Mask),
  	Mask = ".html",!.

如果FILE的扩展名是“.htm”，或者“.html”,该谓词成功。否则失败。

consult_htm(Rulexpl,HTMLtext)

  consult_htm(FileName,HTMLTEKST):-
	syspath(ExeStartupPath,_ProgName),
	filenamepath(FullName,ExeStartupPath,FileName),
	trap(file_str(FullName,HTMLTEKST),_,writef("File % is not found! Correct problem!\n",FullName)),!.
  consult_htm(_,""):-
        errorexit. 

按照指定路径和文件名，把html文件内容读入变量HTMLTEKST，“返回”。

若子句1出错，回溯到子句2后报错退出。

---

gethtmlbody(HTMLtext,Bodytext)

  gethtmlbody(TEXT,BODY):-
  	upper_lower(TEXT,LOWERTEXT),
	searchstring(LOWERTEXT,"<body