混合查询

我们可以把简单的查询连接起来,组成复杂的查询。

?- location(X,kitchen),edible(X).

简单查询只有一个目标,而混合查询可以把这些目标连接起来。从而进行较为复杂的查询。

, 合取  且 的意思。

该查询意思为:寻找满足条件的X,条件是:X位于kitchen中,且可以吃(具有edible属性)

如果某个变量在查询中多次出现,那么此变量在所有出现的位置都必须绑定相同的值,所以该查询,只有找到一个X 得值,使得两个目标都成立,才算查询成功。

每次查询所使用的都是局部变量。

除了使用逻辑的方式理解混合查询外,还可以通过分析程序运行步骤的方式来理解

如该查询可以这么理解:首先找到一样位于厨房的东西,然后判断它是否能吃。

如果不能,那就找到下一样东西,在判断能否使用,直至找到答案,或者是把厨房的东西都查找完毕。

[debug]  ?- location(X,kitchen),edible(X).
T Call: () location(_G533, kitchen)
T Exit: () location(broccoli, kitchen) %匹配第一个子句成功
T Call: () edible(broccoli) %匹配第二个子句
T Fail: () edible(broccoli) %匹配第二个子句失败,解除第一个子句的绑定,回溯上一个匹配成功的子句,发现并没有,回溯到最开始状态。
T Redo: () location(_G533, kitchen) %重新匹配第一个子句
T Exit: () location(crackers, kitchen)
T Call: () edible(crackers) % 匹配第二个子句
T Exit: () edible(crackers) %匹配成功,绑定X,同时显示
X = crackers ;
T Redo: () location(_G533, kitchen)
T Exit: () location(apple, kitchen)
T Call: () edible(apple)
T Exit: () edible(apple)
X = apple. [debug] ?-

上面为一个变量的。下面是两个变量的。

?- door(kitchen,R),location(T,R).

意思:找到和kitchen有们相邻的R,找到位于R中的T

[debug]  ?- door(kitchen,R),location(T,R).
T Call: () door(kitchen, _G534)
T Exit: () door(kitchen, office) %匹配第一个子句成功
T Call: () location(_G536, office) %开始匹配第二个子句
T Exit: () location(desk, office) %匹配第二个子句,
R = office,
T = desk ;
T Redo: () location(_G536, office) %释放 T,重新在上一次匹配成功的子句后面寻找其他符合目标的条目
T Exit: () location(computer, office) % 再次找到符合条目,绑定,显示
R = office,
T = computer ;
T Redo: () door(kitchen, _G534) %SWI-prolog的原因,没有显示上面那次location匹配失败,重新开始匹配door子句,
T Exit: () door(kitchen, cellar) %找到 door 子句 绑定 R cellar
T Call: () location(_G536, cellar) % 查找 location子句
T Exit: () location('washing mechine', cellar)
R = cellar,
T = 'washing mechine'. [debug] ?-

如图所示,由于SWI-prolog的不显示 fail 的原因,所以,我同样copy一份教程上的 debug 调试信息

?-door(kitchen,R),location(T,R).

call door(kitchen,R)  %匹配第一个子句
exit() door(kitchen,office)
call location(T,office) %第一个子句匹配成功之后,匹配第二个子句
exit() location(desk,office)
R = office
T = desk redo location(T,office) %释放掉T,重新开始查询剩余的与location相匹配的条目
exit() location(computer,office) %匹配成功
R = office
T = computer redo location(T,office) %释放掉 T ,再次查询剩余的与location相匹配的条目
fail location(T,office) % 查询失败,释放掉 R,返回上一次匹配成功的子语句,发现并没有,所以会到最初状态 redo door(kitchen,R) % 在最开始匹配成功的条目后面,查找剩余的和door相匹配的条目
exit() door(kitchen,cellar) %匹配door成功,帮定R
call location(T,cellar) %开始查找第二个子句
exit() location('washing room',cellar) %查找成功,绑定R,显示R,T
R = cellar
T = 'washing room' redo location(T,cellar) %释放 T,重新开始查找剩下的和location相匹配的条目
fail location(T,cellar) % 查找失败 释放已经绑定的R,返回上一次匹配成功的子句,发现没有,会到最初状态 redo door(kitchen,R) % 重新查找剩余的和door相匹配的条目
fail door(kitchen,R) %查找失败结束所有查找
no

prolog --寻找neni (2)的更多相关文章

  1. prolog 规则

    规则 规则由几个互相依赖的简单句(谓词)组成.用来描述事实之间的依赖关系,如:因果关系,蕴含关系,对应关系 规则的实质就是存储起来得查询 其语法结构如下: head:-body head 为谓词的定义 ...

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

    Asp.net与Dojo交互:仪器仪表实现 项目中需要用到仪器仪表的界面来显示实时的采集信息值,于是便遍地寻找,参考了fusionchart和anychart之后,发现都是收费的,破解的又没有这些功能 ...

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

    我第一次见到Prolog这门独特的编程语言是在<七周七语言(Seven Languages in Seven Weeks)>中看到的.<七周七语言>名字看起来与市面上什么< ...

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

    Atitit.5gl 第五代语言编程语言 PROLOG教程  人工智能语言的标准 与实现 1. 第五代语言就是自然语言又被称为知识库语言或人工智能语言,1 2. 人工智能语言特点2 2.1. 试探法2 ...

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

    最近在复习人工智能导论,里面介绍了一种逻辑关系语言PROLOG,但这本书里面用到的编译器是Turbo PROLOG,这个编译器早就被淘汰了,我后来找的了它的升级版Visual PROLOG,但一些语法 ...

  6. 【ProLog - 4.0 List】

    [简介] 列表是Prolog编程中常用的一种重要的递归数据结构 列表是一个有限的元素序列 实例: 所有Prolog术语都可以是列表的元素,一个非空的List应该含有两个元素:头元素(Head)和尾元素 ...

  7. [LeetCode] Find the Celebrity 寻找名人

    Suppose you are at a party with n people (labeled from 0 to n - 1) and among them, there may exist o ...

  8. [LeetCode] Find Minimum in Rotated Sorted Array II 寻找旋转有序数组的最小值之二

    Follow up for "Find Minimum in Rotated Sorted Array":What if duplicates are allowed? Would ...

  9. [LeetCode] Find Minimum in Rotated Sorted Array 寻找旋转有序数组的最小值

    Suppose a sorted array is rotated at some pivot unknown to you beforehand. (i.e., 0 1 2 4 5 6 7 migh ...

随机推荐

  1. Android 贝塞尔曲线库

    最近做的一个小项目需要绘制一些折线图,AChartEngine其实里面包含很多图,虽然是开源的,但毕竟不是自己写的,而且项目稍有点庞大,有些东西修改起来还是得花点时间的,所以最后打算自己写一个,参考了 ...

  2. Sphinx的配置和使用

    项目中用到了,昨天老大又给讲了讲,我感觉这玩意真是强大.想把一些功能以很小的代价做好,第三方的工具是必须要掌握的. 1. 我的开发环境在Windows上,下载了sphinx-2.2.6-release ...

  3. 拥有的50个CSS代码片段(上)

    1. CSS 重置 ;;;font-size: 100%; font: inherit; vertical-align: baseline; outline: none; -webkit-box-si ...

  4. 3.3 哈尔小波空间W0

    在3.2节我们学习了关于(3.8)定义的Vj的性质.特别的,我们可以乘以系数从一个Vj空间变换到另一个.我们这节学习V0和V1的关系. 将f1(t)∈V1投影至V0 我们考虑一个属于V1的函数f1(t ...

  5. 【学】React的学习之旅2 - React Component的生命周期

    分成三个状态: Mounted Update Unmounted Mounted:当我们看到组件在浏览器中从无到有的效果的时候,mounted已经结束了,这个组件已经被mounted了 有这个阶段有2 ...

  6. 总结一下响应式设计的核心CSS技术Media(媒体查询器)的用法。(转)

    <meta http-equiv="X-UA-Compatible" content="IE=edge"><!--兼容ie-->< ...

  7. TensorFlow中权重的随机初始化

    一开始没看懂stddev是什么参数,找了一下,在tensorflow/python/ops里有random_ops,其中是这么写的: def random_normal(shape, mean=0.0 ...

  8. Hyper-v之利用差异磁盘快速创建多个虚拟机

    在新建Hyper-v磁盘的时候 有3种选项 其中分别是 固定大小 动态扩展 和 差异(differencing,个人习惯叫 差分) 其中 固定大小是新建的时候 Hyper-v创建一个设置大小值的文件, ...

  9. Mybatis获取插入记录的自增长ID(转)

    1.在Mybatis Mapper文件中添加属性“useGeneratedKeys”和“keyProperty”,其中keyProperty是Java对象的属性名,而不是表格的字段名. <ins ...

  10. owncloud7.0.2.1升级8.0.3

    进入更新中心升级,会自动备份下载安装,安装完提示更新数据库,跳转页面后提示需要php5.4以上版本,检查当前环境为php5.3.3.服务器为CentOS6.4,使用yum更新最新版本即5.3.3.   ...