内部谓词 和其他语言一样,prolog也提供一些基本的输入输出函数. 内部谓词是指已经在prolog中事先定义好的谓词,在内存中的动态数据库中是没有内部谓词子句的.(当我们运行某个.pl 文件的时候,该文件的内容会加载到内存中.所以内存中会有文件中的谓词子句),当解释器遇到内部谓词的目标,它就直接调用事先定义好的程序. 内部谓词一般所完成的工作和逻辑无关,所以这些文词也叫做非逻辑谓词.虽然如此,但这些谓词也可以所谓prolog的目标,所以他们也有四个端口:call exit redo  fail…

http://blog.csdn.net/mwsong/article/details/1766382   到现在为止,我们已经对Prolog有了一个基本的了解,现在有必要对我们所学过的知识做一个系统的总结. Prolog的程序是由一系列的事实和规则组成的数据库. 规则之间的调用是通过联合操作完成的,Prolog能够自动的完成模式匹配. 规则还可以调用内部谓词,例如write/1. 我们可以在Prolog的解释器中单独地对规则进行查询(调用). 在Prolog的程序的运行流程方面我有了如下的认识…

http://blog.sina.com.cn/s/blog_494e45fe0100lh1v.html PROLOG 人工智能领域常用的语言,开发自然语言分析,专家系统,以及所有和智能有关的程序,都非常拿手.可以到我的主页来学习这门语言 http://cdtzx.go.163.com/ Visual Prolog http://www.visual-prolog.com/顾名思义,这是一个可以制作界面的Prolog,有试用版本下载,大概20M左右.这个prolog版本需要对谓词以及数据进行声明…

最近在复习人工智能导论,里面介绍了一种逻辑关系语言PROLOG,但这本书里面用到的编译器是Turbo PROLOG,这个编译器早就被淘汰了,我后来找的了它的升级版Visual PROLOG,但一些语法也发生了变化,现在好像用起来不错的是SWI PROLOG ,这里处于复习的目的,把书上关于PROLOG的相关内容保存到这里,下面一些代码我尽可能的使用SWI PROLOG跑一跑,学习一下. 摘自<人工智能技术简明教程>–廉师友 编著 Prolog 概念 Prolog(PROgramming in…

一般来说,人工智能语言应具备如下特点: 1.具有符号处理能力(即非数值处理能力): 2.适合于结构化程序设计,编程容易: 3. 具有递归功能和回溯功能: 4. 具有人机交互能力: 5. 适合于推理: 6.既有把过程与说明式数据结构混合起来的能力,又有辨别数据.确定控制的模式匹配机制. 人工智能语言解决问题和传统方法的区别: 传统方法通常是把问题的全部只是以各种的模型表达在固定的程序中,问题的求解完全实在程序的指导下按着预先安排好的步骤一步步(逐条)执行.解决思路与冯诺依曼式计算机结构相吻合. 对…

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

规则 规则由几个互相依赖的简单句(谓词)组成.用来描述事实之间的依赖关系,如:因果关系,蕴含关系,对应关系 规则的实质就是存储起来得查询 其语法结构如下: head:-body head 为谓词的定义部分,和事实一样,也包括谓词名和参数说明 :-   连接符 表示 蕴含 body  一个或多个目标,用","连接,表示 且 如上一章中的混合查询按规则保存下来即为: where_food(X,Y):-location(X,Y),edible(X). 房间Y中,有可食事物的条件是:X位于Y…

让DB2跑得更快——DB2内部解析与性能优化 (DB2数据库领域的精彩强音,DB2技巧精髓的热心分享,资深数据库专家牛新庄.干毅民.成孜论.唐志刚联袂推荐!)  洪烨著 2013年10月出版 定价:79.00元 编辑推荐 本书作者在DB2China数据库论坛担任热点讨论版块版主,主持多次热点讨论以及专家现场诊断,擅长DB2数据库及相关产品的性能调优及故障分析,对DB2技能及实践经验有多年积累,并且近年来多位业界专家一直在积极推动DB2领域的技术交流,真正理解DB2技术人员真正的需求与痛楚,是DB…

----------------------------我是分割线------------------------------- 本文翻译自微软白皮书<SQL Server In-Memory OLTP Internals Overview>:http://technet.microsoft.com/en-us/library/dn720242.aspx 译者水平有限,如有翻译不当之处,欢迎指正. ----------------------------我是分割线---------------…

要判断两个多边形的关系,实际上属于几何图形空间关系判断.几何图形并不只有多边形一种,它包括点.线.面构成的任何图形,两两之间相互关系也有很多种,因此空间关系非常复杂.根据前人的研究,总结出了DE-9IM模型,作为一种空间关系判断的标准. DE-9IM,全称是Dimensionally Extended nine-Intersection Model (DE-9IM),是一种拓扑模型,用于描述两个几何图形空间关系的一种标准.在专业领域,通常将每个几何图形分为三部分:外部(exterior),边界(…