第二部分:第5章 Prolog基础 5.1Horn子句逻辑 ● Visual prolog和其他用语都是基于Horn子句逻辑的。Horn子句逻 辑是对事物及其相互关系进行推理的形式系统 ●在自然语言中,我们可以这样表达一个陈述句 John是Bi的父亲 ●这里我们涉及两个实体,John和BⅢ,以及他们之间的关系,即一 个是另一个的父亲。在Horn子句逻辑中,可以这样形式化地表述上 面的陈述句: father( Bill John") 上面的 father是带有两个参量的一个谓词或关系,它表示第二个人 是第一个人的父亲 2004.11.3 A|程序设计2004.11.3 AI程序设计 3 第二部分：第5章 Prolog基础 5.1 Horn子句逻辑 ⚫ Visual Prolog和其他用语都是基于Horn子句逻辑的。Horn子句逻 辑是对事物及其相互关系进行推理的形式系统。 ⚫ 在自然语言中，我们可以这样表达一个陈述句： John是Bill 的父亲. ⚫ 这里我们涉及两个实体，John和Bill，以及他们之间的关系，即一 个是另一个的父亲。在Horn子句逻辑中，可以这样形式化地表述上 面的陈述句： father(“Bill”, “John”). ⚫ 上面的father是带有两个参量的一个谓词或关系，它表示第二个人 是第一个人的父亲