prolog 规则

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

prolog 阶段总结

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

一、prolog简介

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

七周七语言——Prolog（二）

1 递归首先来看一个知识库: father(zeb,john_boy_sr). father(john_boy_sr,john_boy_jr). ancestor(X,Y):-father(X,Y). ancestor(X,Y):-father(X,Y),ancestor(Z,Y). 规则ancestor/2有两个子句. 如果一个规则由多个子句组成,那么其中一个子句为真,则这个规则为真. 下面我们来测试一下: |?-ancestor(zeb,Who). Who=john_boy_sr?a W…

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 专家系统（7）

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

Prolog学习：基本概念 and Asp.net与Dojo交互：仪器仪表实现

Asp.net与Dojo交互:仪器仪表实现项目中需要用到仪器仪表的界面来显示实时的采集信息值,于是便遍地寻找,参考了fusionchart和anychart之后,发现都是收费的,破解的又没有这些功能,只好作罢.之后又找遍了JQuery的插件,也没有找到,于是在灰心之时,Dojo的demo界面让我欣喜若狂:Graphics, Charting and Vizualization 看罢之后,就决定采用Dojo了. 基础知识概览这篇文章,主要讲解如何利用Dojo原生的仪器仪表界面(Dojo有很强大…

The Art of Prolog:Advanced Programming Techniques【译文】

申明:此文为译文,仅供学习交流试用,请勿用作商业用途,造成一切后果本人概不负责,转载请说明.本人英语功力尚浅,翻译大多借助于翻译工具,如有失误,欢迎指正. 逻辑程序简介逻辑程序是一组公理或规则,定义对象之间的关系.逻辑程序的计算是扣除该计划的后果的.一个程序定义了一组后果,这就是它的意义.逻辑编程的艺术是构建一个具有所需的含义简洁大方的方案. Prolog基本构造逻辑编程,条款和声明的基本结构,从逻辑继承.有三种基本的语句:事实,规则和查询.有一个单一的数据结构:逻辑术语.最简单的一种说法叫…

Prolog学习：数独和八皇后问题

上一篇简单介绍了下Prolog的一些基本概念,今天我们来利用这些基本概念解决两个问题:数独和八皇后问题. 数独数独是一个很经典的游戏: 玩家需要根据n×n盘面上的已知数字,推理出所有剩余空格的数字,并满足每一行.每一列.每一个粗线宫内的数字均含1-n,不重复. 当然数独的阶有很多,9×9是最常见的,我们就以它做例子.在用Prolog解决之前先想想如果我们用C#或Java来做或怎么做?无非就是数据结构加算法,我们先得用一个数据结构表示数独,然后我们要在这个数据结构上“施加”算法进行求解.采用Pr…

Prolog学习：基本概念

上一篇对Prolog有了一个感性的认识,今天介绍下Prolog中一些基本概念,想要用Prolog解决一些实际问题之前必须要先了解它们.这些概念在<七周七语言>这本书中都有介绍,我简单提炼汇总下,就当给这门小众语言做个宣传吧. 变量/规则/知识库在Prolog中变量的命名是有特殊要求的,如果一个词以小写字母开头,它就是一个原子(atom),类似于其他语言中的符号(symbol),如果一个词以大写或下划线开头,那么它就是一个变量,和其他语言一样变量值可以改变,可以赋值(不过更灵活). 符号组成一…

Prolog学习：用八卦的精神走进Prolog

最近枕头书是<七周七语言:理解多种编程范型>这本,前面两章分别看了Ruby和IO,都是命令式语言.虽然它们在语法上跟之前接触过的C,C#,Java这些C家族的语言差别很大,但是编程范型却是一致的.Ruby是纯面向对象的一门语言,再熟悉不过了,IO是基于原型的语言,之前也稍微接触过javascript所以理解起来也不会太困难,也正是因为命令式语言.面向对象之前经常接触,所以虽然这两门语言对我来说很新鲜但是却是没有达到让我很兴奋,很激动(大多数时候是因为没看懂.兴奋点也还是有的,比如Ruby中的m…

使用prolog逻辑语言解决爱因斯坦斑马难题

如果你想获得更好的阅读体验,可以前往我在 github 上的博客进行阅读,http://lcomplete.github.io/blog/2013/06/28/sevenlang-prolog/. 目前商业上广泛使用的编程语言多是命令式或函数式的编程语言,这些语言在某些方面具有很高的相似度,比如 python 和 ruby 在很多地方是相通的,学会了一门,再学另一门便能够事半功倍,很多语言都是如此,然而今天要介绍的这门语言,却跟主流编程语言截然不同,它就是prolog——一门逻辑编程语言. pr…

对Prolog的感想和我写的一些教程

我第一次见到Prolog这门独特的编程语言是在<七周七语言(Seven Languages in Seven Weeks)>中看到的.<七周七语言>名字看起来与市面上什么<三十天……从入门到精通>之类的垃圾书类似,但完全不是那回事.<七周七语言>的目标在于让读者了解到这些语言独有的编程思想和设计模式.而且它也不是什么入门书.Prolog是门声明式编程语言,它与我们平时最常遇到的命令式编程语言有很大的不同.命令式语言需要你精确地告诉计算机如何完成一项工作,而声…

七周七语言之使用prolog解决爱因斯坦斑马难题

Prolog奇怪奇妙的思考方式

今天在<七周七语言>中接触到了prolog,发现它的编程模式和思考方式的确比较奇怪,但同时也非常奇妙,值得学习一下. 1. prolog语言介绍和SQL一样,Prolog基于数据库,但是其数据由逻辑规则和关系组成:和SQL一样,Prolog包含两个部分:一部分用于描述数据,而另一部分则用于查询数据.在Prolog中,数据以逻辑规则的形式存在,下面是基本构建单元.  事实:事实是关于真实世界的基本断言.(Babe是一头猪,猪喜欢泥巴.) 规则:规则是关于真实世界中一些事实的推论.(…

Atitit.5gl 第五代语言编程语言 PROLOG教程人工智能语言的标准与实现

Atitit.5gl 第五代语言编程语言 PROLOG教程人工智能语言的标准与实现 1. 第五代语言就是自然语言又被称为知识库语言或人工智能语言,1 2. 人工智能语言特点2 2.1. 试探法2 2.2. 3.要有递归功能和回溯功能:2 2.3. prolog程序没有特定的运行顺序,其运行顺序是由电脑决定的,而不是编程序的人. 2 2.4. prolog程序中没有if.when.case.for这样的控制流程语句前面已经说了,程序的运行方式有电脑自己决定,当然就用不到这些控制流程的语句了…

人工智能技术导论——逻辑程序设计语言PROLOG

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

人工智能技术导论——使用PROLOG逻辑语言解决爱因斯坦斑马文件

一.背景在上一篇博客https://www.cnblogs.com/wkfvawl/p/12056951.html上,我简单介绍了一下Prolog的一些基本语法,这篇博客主要通过老师课上讲过的一个问题,来体验一下prolog在逻辑推理上的优势. 在介绍问题之前,先引入一道Prolog题: 试编写一个描述亲属关系的Prolog程序,然后再给出一些事实数据,建立一个小型演绎数据库. 提示:可以以父亲和母亲为基本基本关系(作为基本谓词),再由此描述祖父.祖母.兄弟.姐妹以及其他亲属关系. mothe…

【ProLog - 3.0 进阶：递归】

[ProLog中的递归] 如果递归中的一个或多个规则引用谓词本身,则对该谓词使用"递归"定义在使用时,这往往像一条食物链或者族谱的构成(A的爸爸的爸爸,即A的爷爷,是A的长辈) 比如下面这个例子: 在这个例子中,我们只是设计了两级的后代判断,也就是child的child,进行三级的判断就会报出No 对于这个,我们有两种解决方案,一种是简单粗暴的加判断,显然这是很麻烦且没办法推广的(族谱有100代程序员岂不是要写死了?) 其二,就是利用"递归",对"后代&…

【Prolog - 1.0 基础语法与概念】

[概述] Prolog的语法与其它常用语言(如C,JAVA等)不同,它更接近于自然语言. [实例] 当我想表示"Mia是以女人"这个事实(之后会提到事实这个概念)的时候,我可以这么写 woman(mia). 这个格式代表这一个事实,a(b). b是a 事实上命名没什么要求,只要你自己记得就好当我想要知道某个问题的答案,我就可以通过-?对其进行问询,比如 woman(mia). -? woman(mia). yes 这就是使用Prolog的一个简单的例子 [常量和变量] Prolog常…

Yii1.1的验证规则

在Yii1.1的数据验证是由CValidator完成,在CValidator中提供了各种基本的验证规则 <?php public static $builtInValidators=array( 'required'=>'CRequiredValidator', 'filter'=>'CFilterValidator', 'match'=>'CRegularExpressionValidator', 'email'=>'CEmailValidator', 'url'=>…

iOS之应用版本号的设置规则

版本号的格式:v<主版本号>.<副版本号>.<发布号> 版本号的初始值:v1.0.0 管理规则: 主版本号(Major version) 1. 产品的主体构件进行重大修改,主版本号加1: 2. 产品的主体构件之间的接口协议重大修改,主版本号加1. 副版本号(Minor version) 1. 主版本号变更时,副版本号置0: 2. 数据结构变更(新增或修改注释含义的情况除外),副版本号加1: 3. 若副版本号累加至超过20时,采用主版本号进位制,主版本号加1,副版本…

ThinkPhp5.0模型验证规则

Tp5提供了模型数据规则的验证功能,用于在数据save或者update前验证数据的有效性.Tp5提供校验规则的类为\Think\Validate,默认提供的校验规则可以查看该文件. 在Model文件中我们可以为每个Model编写校验规则比如: <?php protected $validate=[ "rule"=>[ "pingpai"=>"require|alpha", "shangjia"=>&qu…

PHP 面向对象编程和设计模式 (5/5) - PHP 命名空间的使用及名称解析规则

PHP高级程序设计学习笔记 2014.06.12 命名空间概述 PHP 在 5.3.0 以后的版本开始支持命名空间.什么是命名空间?从广义上来说,命名空间是一种封装事物的方法.在很多地方都可以见到这种抽象概念.在PHP中,命名空间用来解决在编写类库或应用程序时创建可重用的代码如类或函数时碰到的两类问题: 用户编写的代码与PHP内部的类/函数/常量或第三方类/函数/常量之间的名字冲突. 为很长的标识符名称(通常是为了缓解第一类问题而定义的)创建一个别名(或简短)的名称,提高源代码的可读性. PH…

"Chinese_PRC_CI_AS" 和 "Chinese_PRC_90_CI_AI" 之间的排序规则冲突问题

这个错误真是太恶心了.不过有解决办法,你问我哪来的?当然百度的咯! 示例: select a.workTypeDes from A a,B b where a.workTypeCode=b.workTypeCode collate Chinese_PRC_CI_AS 在后面加上这句就OK了.collate Chinese_PRC_CI_AS,规定下排序规则!…

mysql大小写敏感与校对规则

大家在使用mysql过程中,可能会遇到类似一下的问题: root@chuck 07:42:00>select * from test where c1 like 'ab%'; +-----+ | c1 | +-----+ | abc | | ABD | +-----+ 模糊匹配 ab%,结果以AB开头的字符串也出现在结果集中,大家很自然的认为是大小写敏感的问题.那么mysql中大小写敏感是如何控制的:数据库名,表名,字段名这些字典对象以及字段值的大小敏感是如何控制的:以及校验规则与索…

Java 特定规则排序-LeetCode 179 Largest Number

Given a list of non negative integers, arrange them such that they form the largest number. For example, given [3, 30, 34, 5, 9], the largest formed number is 9534330. Note: The result may be very large, so you need to return a string instead of an i…

【prolog 规则】的更多相关文章