码迷,mamicode.com
首页 >  
搜索关键字:prolog    ( 107个结果
Erlang Basic
first sense for erlang. in Erlang, the things I like? 1. ?= is Pattern Match X?=?X?+?1.?//always?wrong. the things I dislike? 1. some thoughts. ?erlang and prolog....
分类:其他好文   时间:2014-08-27 06:04:17    阅读次数:244
转载:sax错误:org.xml.sax.SAXParseException: Content is not allowed in prolog解决
原因及其解决办法:1.xml编码错误该xml是UTF-8编码的,如果该文件通过UltraEdit编辑后,会在无BOM头的UTF-8文件中加入BOM,但是DOM4j不认这个BOM(dom4j1.3),解决的办法可以通过升级dom4j到1.6解决www.dom4j.org什么是BOM?http://ww...
分类:其他好文   时间:2014-08-07 12:58:30    阅读次数:225
Page-encoding specified in XML prolog (UTF-8) is different from that specified in page directive (utf-8)
org.apache.jasper.JasperException:xxx.jsp(1,1)Page-encoding specified in XML prolog (UTF-8) is different from that specified in page directive (utf-8)...
分类:其他好文   时间:2014-07-25 10:52:11    阅读次数:242
Visual Prolog 的 Web 专家系统 (11)
GENI的核心 -- 推理机(5)处理why问题 1、why问题由客户从浏览器提出 专家系统工作时,需要向用户提出问题,收集推理求证用的事实根据。 用户有时想知道,系统为什么提出这样的问题,要求系统给出解释。这就是所谓的why问题。 why问题的提出,是按动网页按钮“why”的结果。 2、why功能的设置 GENI的第一个页面default.htm并没有按钮“why”。它的...
分类:Web程序   时间:2014-07-22 22:38:34    阅读次数:240
python 逻辑推理编程解决八皇后
可以和Haskell , Prolog 一样做到模式匹配, 建立逻辑推到规则,描述问题,得出答案。 from pyDatalog import pyDatalog pyDatalog.create_atoms( 'N, N1, X, Y, X0, X1, X2, X3, X4, X5, X6, X7' ) pyDatalog.create_atoms( 'ok,queens, nex...
分类:编程语言   时间:2014-07-19 23:31:49    阅读次数:377
Visual Prolog 的 Web 专家系统 (8)
GENI的核心 -- 推理机(2)流程控制 1、细说fail、“!”与回溯 与其他语言相比,Prolog最大的特点,是它的回溯机制。 回溯机制,主要手段有2个,一是用谓词fail引发回溯,二是用特别谓词“!”(读作cut)取消回溯。 Prolog运用fail引发回溯,实现程序的循环,并运用“!”对回溯进行控制。 看一个典型示例: FACTS f(integer) PREDICATES...
分类:Web程序   时间:2014-07-18 21:22:49    阅读次数:243
Visual Prolog 的 Web 专家系统 (10)
GENI的核心 -- 推理机(4)求证过程分析 1、GENI知识库结构 专家系统推理机的设计运行,与其知识库结构紧密相关。 GENI知识库结构是一棵逻辑推理树。根节点是animal,即求证的目标。 Animal有2个子节点,即求证的子目标。节点或子目标,用rule表示。例如: rule(8,"animal","mammal",[12,13],"") rule(9,"animal","b...
分类:Web程序   时间:2014-07-18 18:10:04    阅读次数:221
Visual Prolog 的 Web 专家系统 (9)
GENI的核心 -- 推理机(3)一些谓词 为了集中注意力,较好地分析GENI推理机核心程序,应该做些准备工作,弄明白一些起辅助作用的谓词功能。 is_htmlfile(Rulexpl) is_htmlfile(FILE):- filenameext(File,_Name,Mask), Mask = ".htm",!. is_htmlfile(FILE):- f...
分类:Web程序   时间:2014-07-18 13:33:16    阅读次数:293
Visual Prolog 的 Web 专家系统 (7)
GENI的核心 -- 推理机(1)知识表示 GOAL段最后一句是子句infer(),它的含意是“推理”。 由此,进入GENI的核心,察看推理机的运行。 infer() infer():- topic(Maingoal,_), go([],MainGoal,""),!. infer():- errorexit. topic(Maingoal,_) topic现存于事实...
分类:Web程序   时间:2014-07-14 18:19:52    阅读次数:303
Visual Prolog 的 Web 专家系统 (4)
知识库操作 先说个小伎俩。 在VIP中打开geni.prj,菜单选Options,打开Application Expert,点击Other Options, 点击Project Directories,点击Output,在Final文本框填入d:\Apache2.2\htdocs\GENI 这个目录是GENI虚拟主机所在之处。 这样做的目的,是编译后geni.exe会自动存入上述目录,省...
分类:Web程序   时间:2014-07-10 21:08:32    阅读次数:316
107条   上一页 1 ... 8 9 10 11 下一页
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!