第二部分:第5章 Prolog基础 5.1Horn子句逻辑 ●这些问题被称为目标子句( goal clause)或简称为目标(goa)。 事实( facts)、规则( rules)及目标( goals)合起来称为Horn 子句,因此得名Horn子句逻辑。 个 Prolog程序是一个定理和目标的集合。当程序开始时,它试图 使用定理,为目标找到一个解。 2004.11.3 A|程序设计 62004.11.3 AI程序设计 6 第二部分：第5章 Prolog基础 5.1 Horn子句逻辑 ⚫ 这些问题被称为目标子句（goal clause）或简称为目标（goal）。 事实（facts）、规则（rules）及目标（goals）合起来称为Horn 子句，因此得名Horn子句逻辑。 ⚫ 一个Prolog程序是一个定理和目标的集合。当程序开始时，它试图 使用定理，为目标找到一个解