手机浏览器扫描二维码访问
附录B理解PROLOG
banner"
>
假设我们想要一个解释家庭关系的系统,我们将了解一个简单的PROLOG程序如何捕获有关家庭关系的知识。
假设我们用“female(X)”
来表示X是女性,我们用“parents(X,M,F)”
表示X的双亲为M和F,其中M为父亲,F为母亲。
然后你就可以编写如下PROLOG规则:
sister_of(X,Y):-female(X),parents(X,M,F),parents(Y,M,F).
以上规则表述的是“X是Y的姐妹”
,如果以下规则成立:
1.X是女性。
2.X的父亲是M,母亲是F。
3.Y的父亲是M,母亲是F。
如果你不熟悉逻辑推理,这听起来似乎是用相当复杂的方式在表述某人是某人的姐妹。
但基本上,它表述的意思是,如果X是女性,X和Y有相同的父母,则X是Y的姐妹。
我们可以给PROLOG程序增加一些新的事实:
female(janine).
&s(janine,wayne,yvonne).
&s(david,wayne,yvonne).
鉴于这些事实,如果我们让PROLOG去证明Janine是David的姐妹,证明成立。
本例中的相关目标是:
sister_of(david,janine)
当提出这个目标时,PROLOG就会回答“是”
,表示它能够证明Janine是David的姐妹。
请关闭浏览器阅读模式后查看本章节,否则将出现无法翻页或章节内容丢失等现象。
关于都市王者归来一代天才遭妻子下毒,锒铛入狱成就王者之路。回归都市发现女儿身患重病,原因竟是妻子从中作梗!愤怒王者一声令下,全球顶尖专家任选拔!...
甜宠双处咸鱼女主糙汉男主现代社畜的冯橖因为工作太卷而意外穿越到了小说里的七零年代。厌倦了勾心斗角,为钱拼命的日子的她决心抱住未婚夫贺南章的粗大腿,好从此过生躺平摆烂的人生。毕竟这位未婚夫不久后将会成为书中最强大佬。谁知大佬不开窍,一心想跟她解除婚约。从此冯橖的人生信条又多了一样,那就是扑倒贺南章,让他乖乖给自己当靠山。贺南章反对包办婚姻,从你我做起!冯橖有人包办还不好吗?再说了违背妇女意愿是犯法的,我就要嫁给你!贺南章说的什么胡话!多年后贺南章你不是说要给嫁给我吗?冯橖我说胡话的!贺南章直接把人扛到婚礼现场我当真了!...
关于快穿皇后只能我来当!叮咚!欢迎来到快穿系统,你的任务便是当皇后!系统不会有任何干涉或提示,你的地盘,你做主。皇上分好多种霸气威武的俊美邪魅的傲娇冷淡的帅气可爱的林悠悠口水泛滥一个个慢慢来,反正皇后只能我来当!...
一位美貌与智慧并存的梦中女神,一桩离奇诡异的坠楼命案,蓝京和志同道合的秦铁雁莫胜男等伙伴为了寻求真相踏入漫漫仕途,开启起伏跌宕又波澜壮阔的奋斗历程。...
天才宝宝这个总裁我要了是囧囧有妖的经典其他类型类作品,天才宝宝这个总裁我要了主要讲述了谁说兔子不吃窝边草,她夏郁薰偏偏吃定了他这棵草!十几年的青梅囧囧有妖最新鼎力大作,年度必看其他类型。禁忌书屋提供天才宝宝这个总裁我要了最新章节全文免费阅读!。...
奇谋算尽官场事,正气浩然天地魂。红颜知己身边伴,悲欢离合生死梦。且看一代官场奇才陆羽,一个县长秘书的跌宕起伏官场人生!...