第二部分:第5章 Prolog基础 第5章Pro|og基础 5.1Hon子句逻辑 52 Prolog推理机 5.3扩展家庭定理 54 Prolog是一种编程语言 5.5程序控制 6 Prolog算符 本章小结与习题 2004.11.3 A|程序设计2004.11.3 AI程序设计 2 第二部分：第5章 Prolog基础 第5章 Prolog基础 5.1 Horn子句逻辑 5.2 Prolog推理机 5.3 扩展家庭定理 5.4 Prolog是一种编程语言 5.5 程序控制 5.6 Prolog算符 本章小结与习题