花费 14ms 找到135726条记录
Learn Prolog Now 翻译 - 第十章 - 中断否定 - 第一节中断 繁体
2015年08月01 - 中断 自动回溯是Prolog中很有代表性的一个特征。但是回溯可能会导致低效。有时Prolog会浪费时间在一些没有结果的可能性搜索上。如果在回溯行为方面有一些控制机制的话,会是一件比较有意义的事情,但是直到现在为止我们看到只有两种相当初级的方式可以用于这个目的:交换规则顺序,和交换目标顺序。其实有另外一种方式:存在一个内置的谓词:!(英文感叹号),称为中断,可以提供一种更为直接地控制Prolog

Learn Prolog Now 翻译 - 第十章 - 中断否定 - 第二中断的运用 繁体
2015年08月03 - 中断Prolog的运用 上一节我们学习了中断是什么。但是在实际编程时如何使用,为什么这个机制会有作用呢?第一个例子,让我们定义一个没有中断的谓词max/3,其中所有的参数都是整数,并且当第三个参数为前两个参数中较大的一个时,谓词为真。比如,查询: 以上都是为真的查询,如果查询: 都是为假的查询。当然,我们希望这个谓词在第三个参数为变量的情况下去使用,即我们能够找到前两个参数的最

Learn Prolog Now 翻译 - 第十章 - 中断否定 - 第三, 使用否定作为失败判定 繁体
2015年08月05 - Prolog一个很有用的特征就是可以让使用者概括地描述事物,对其进行抽象。比如我们如果想描述Vincent喜欢汉堡,可以这么写: 但是在现实中总会存在例外。也许Vincent不喜欢Big Kahuna汉堡。即,正确的规则是:Vincent喜欢汉堡,除了Big Kahuna汉堡。好了,我们如何在Prolog中描述呢? 作为第一步,先介绍另一个Prolog内置的谓词:fail/0。正如它的名字

Learn Prolog Now 翻译 - 第二 - 合一和证明搜索 - 第一节, 合一 繁体
2015年07月01 - 内容提要: 合一的定义; 一些合一的例子; 触发校验; 使用合一编程; 合一的定义 在上一的知识库KB4中,我们简单地提及了合一的思想。比如,Prolog将woman(X)和woman(mia)合一,所以把变量X初始化为mia。现在是时候更加细致地研究合一,因为合一是 Prolog中最为基础的思想。 回顾一下Prolog中的三种语句类型: 1. 常量,可能是原子(比如vi

Learn Prolog Now 翻译 - 第三 - 递归 - 第一节,递归的定义 繁体
2015年07月07 - Prolog中,谓词可以递归地定义。简要地讲,一个谓词是递归定义的,如果一个或者多个规则的定义中包含了规则自身。 例子1:消化 考虑如下的知识库: 第一眼看上面的知识库定义会感觉很简单:知识库中只包含了3个事实和2个规则。但是谓词is_digesting/2的定义是递归的。请注意is_digesting/2的定义中包含了自身 (至少部分的定义)。因为is_

Learn Prolog Now 翻译 - 第九 - 语句深究 - 第一节, 语句的比较 繁体
2015年07月24 - 内容提要 判断两个语句是否相等 判断两个语句是否不等 判断两个语句是否相等 Prolog中有一个用于判断两个语句是否相等的重要谓词,即==/2。这个谓词可以用来判断两个语句是否相等,但是不能用于初始化变量,所以这一点是和谓词=/2有所区别的。让我们来看一些具体的例子: Prolog回答上面查询的答案的原因是很明确的,但是特别提一下最后一个查询,因为a和'a'在Prolog

Learn Prolog Now 翻译 - 第五 - 数字运算 - 第一节Prolog中的数字运算 繁体
2015年07月15 - 内容提要 Prolog中的数字运算 Porlog运算的本质 Prolog中的数字运算 Prolog语言本身提供了一些基础的运算符号,对整数进行一些操作(即类似...-3, -2, -1, 0, 1, 2, 3等)。多数Prolog的实现同时也提供了一些工具对实数进行操作 (比如浮点数,1.53,6.35,等等)。但是我们不会讨论浮点数,因为浮点数在典型的Prolog应用中很少

第十章第一节 浮力 繁体
2019年04月09 - 回顾: 1.体积单位: 概念讲解 2. V浸= 一.浮力 1.定义:浸在________中的物体受到 的力,这个力叫做浮力。 3.浮力的施力物体:

Learn Prolog Now 翻译 - 第十二 - 文件相关操作 - 第一节, 使用不同文件组织程序 繁体
2015年08月08 - 学习到这个阶段,你可能已经使用append/3和member/2写了很多程序。你可能每次都需要将它们的实现代码拷贝到使用它们的程序文件中。而且,经过几次这样做之后,你就会感觉每次不停的拷贝是非常重复和麻烦的事情。如果你可以在一个文件中定义它们,然后在需要的地方使用,这将会是令人愉快的,而且也是更加合理的做法。当然,Prolog提供了这样的方式去组织程序。 程序中的读操作 事实上,你

第十章--第一节:并发与线程安全 繁体
2018年06月15 - 第十章:并行与分布式程序设计 第一节:并发与线程安全 问题一:并行程序设计两种模式 1.共享内存 两个处理器,共享内存 同一台机器上的两个程序,共享文件系统 同一个Java程序内的两个线程,共享Java对象 2.消息传递 网络上的两台计算机,通过网络连接通讯 浏览器和Web服务器,A请求页面,B发送页面数据给A 即时通


 
粤ICP备14056181号  © 2014-2021 ITdaan.com