第二部分:第5章 Prolog基础 5.1Horn子句逻辑 ●这些问题被称为目标子句( goal clause)或简称为目标(goa)。 事实( facts)、规则( rules)及目标( goals)合起来称为Horn 子句,因此得名Horn子句逻辑。 个 Prolog程序是一个定理和目标的集合。当程序开始时,它试图 使用定理,为目标找到一个解。 2004.11.3 A|程序设计 6
2004.11.3 AI程序设计 6 第二部分：第5章 Prolog基础 5.1 Horn子句逻辑 ⚫ 这些问题被称为目标子句（goal clause）或简称为目标（goal）。 事实（facts）、规则（rules）及目标（goals）合起来称为Horn 子句，因此得名Horn子句逻辑。 ⚫ 一个Prolog程序是一个定理和目标的集合。当程序开始时，它试图 使用定理，为目标找到一个解
第二部分:第5章 Prolog基础 5.2 Prolog推理机 ●PIE( Prolog inference Engine),即 Prolog推理机,随Vsua Prolog6一起提供。 ●在开始之前,必须先安装和建立PIE 1)在 Windows开始菜单中选择“安装例子”,( Start-> Visual Prolog 6->Install Examples) 2)用VDE打开PIE项目,且运行该程序。 2004.11.3 A|程序设计
2004.11.3 AI程序设计 7 第二部分：第5章 Prolog基础 5.2 Prolog推理机 ⚫ PIE (Prolog Inference Engine)，即Prolog推理机，随Visual Prolog 6一起提供。 ⚫ 在开始之前，必须先安装和建立PIE 1) 在Windows开始菜单中选择“安装例子” ，（Start -> Visual Prolog 6 -> Install Examples）。 2) 用VDE打开PIE项目，且运行该程序
第二部分:第5章 Prolog基础 5.2 Prolog推理机 ●当程序启动后,其情形如下图5.1所示。 Prolog Inference Engine x File Edit Engine Window Help 口日+曲居茴画■? og Ro eady Use OnlineHelp to see descriptions To load example files choose File\Consult menu entry Type your predicate calls here like write[ Hello world!]. <Set Caret here and press Enter 图5.1 Prolog 推理机 Ready Stack: 2396 Heap:196608 2004.11.3 A|程序设计 8
2004.11.3 AI程序设计 8 第二部分：第5章 Prolog基础 5.2 Prolog推理机 ⚫ 当程序启动后，其情形如下图5.1所示。 图5.1 Prolog 推理机
第二部分:第5章 Prolog基础 5.2 Prolog推理机 ●选择菜单File->NeW,键入前面的父亲子句和祖父子句,如图5.2 所示。 FILE4 PRO 5:57 Insert Indent father("Bill,john") father ("Pam,"Bill) grandFather(Person, GrandFather): father(Father, GrandFather), father(Person, Father). 图5.2子句代码 2004.11.3 A|程序设计
2004.11.3 AI程序设计 9 第二部分：第5章 Prolog基础 5.2 Prolog推理机 ⚫ 选择菜单File -> New，键入前面的父亲子句和祖父子句，如图5.2 所示。 图5.2 子句代码
第二部分:第5章 Prolog基础 5.2 Prolog推理机 ●当编辑器窗口激活时,选择 Engine→> Reconsult,将会把文件装 入到推理机。在对话框中,还将得到这样一个消息: Reconsulted from:.... pie Exe FILE4 PRO 无论用编辑器如何装入,其内容都不会保存到文件之中。如果想要 保存内容,必须使用菜单命令File->Save。 ●菜单Fle-> Consult不管文件是否因编辑而打开,都会装载磁盘文 件中的内容。 旦查阅过定理,就可以回答各种目标 2004.11.3 A|程序设计 10
2004.11.3 AI程序设计 10 第二部分：第5章 Prolog基础 5.2 Prolog推理机 ⚫ 当编辑器窗口激活时，选择Engine -> Reconsult，将会把文件装 入到推理机。在对话框中，还将得到这样一个消息： Reconsulted from: ....\pie\Exe\FILE4.PRO ⚫ 无论用编辑器如何装入，其内容都不会保存到文件之中。如果想要 保存内容，必须使用菜单命令File -> Save。 ⚫ 菜单File -> Consult不管文件是否因编辑而打开，都会装载磁盘文 件中的内容。 ⚫ 一旦查阅过定理，就可以回答各种目标