Visual Prolog 的 Web 专家系统（10）

【Visual Prolog 的 Web 专家系统（10）】的更多相关文章

Visual Prolog 的 Web 专家系统（1）

用Prolog敲代码,感觉舒坦. Prolog的编程范式,抽象程度远高于中.低级别的C语言等.敲代码的源码长度,至少比C语言的节省50%. 并且,Prolog的语法简单,符号选择自然合理,养眼度远高于其"近亲"Erlang. Visual Prolog与其前身Turbo Prolog和PDC Prolog一脉相承.都是有严格类型限制的编译型软件. 与其它各种解释型Prolog相比.Visual Prolog执行速度快得多. 可是,Visual Prolog并不是完美. 它的缺点弱点,恰…

Visual Prolog 的 Web 专家系统（10）

GENI的核心 -- 推理机(4)求证过程分析 1.GENI知识库结构专家系统推理机的设计执行,与其知识库结构紧密相关. GENI知识库结构是一棵逻辑推理树. 根节点是animal,即求证的目标. Animal有2个子节点,即求证的子目标.节点或子目标.用rule表示.比如: rule(8,"animal","mammal",[12,13],"") rule(9,"animal","bird",[9,14…

Visual Prolog 的 Web 专家系统（7）

GENI核心 -- 推理引擎(1)知识表示 GOAL最后一句是谓语infer(),它的含义是"论证". 因此,,进GENI核心,执行视图推理引擎. infer() infer():- topic(Maingoal,_), go([],MainGoal,""),!. infer():- errorexit. topic(Maingoal,_) topic现存于事实库geni中.取出的Maingoal = "animal". 假设依照前面几节分析程序…

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…

Visual Prolog 的 Web 专家系统（8）

GENI核心 -- 推理引擎(2)流量控制 1.阐述fail."!"而回溯与其他语言相比,,Prolog最大的特点.这是回溯机制. 回溯机制,还有的主要手段2个月,首先,通过使用谓词fail触发回溯,特别谓词"!"(读作cut)取消回溯. Prolog运用fail引发回溯.实现程序的循环,并运用"!"对回溯进行控制. 看一个典型演示样例: FACTS f(integer) PREDICATES a() b() c() CLAUSES a():-…

Visual Prolog 的 Web 专家系统（6）

保存用户响应询价.作为进一步推理的条件或GOAL段开始.最初的一句是write_startform() write_startform():- write("<form action=\"\cgi-bin\geni.exe\"method=\"post\">\n"). 注意!上一句应为write("<form action=\"geni.exe\"method=\"post\"…

Visual Studio 2013 Web开发

cnbeta新闻:微软正式发布Visual Studio 2013 RTM版,微软还发布了Visual Studio 2013的最终版本..NET 4.5.1以及Team Foundation Server 2013.下面我们体验下Visual Studio 2013 Web开发方面有哪些特性,具体可以参看http://www.asp.net/visual-studio/overview/2013/release-notes. 1..NET Framework 2.0/3.0/3.5/4.0/4…