天才一秒记住【久久文学】地址：https://www.jjwxx.com
附录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的姐妹。
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！