量盲目搜索算法、带变量盲目搜素算法、启发式搜索算法、博弈树搜索；人工智能程序设计语言：PROLOG。

上海交通大学计算机系《人工智能》ppt完整课件，卢宏涛主讲。共9章内容，主要讲解人工智能概述、基于谓词逻辑的机器推理、产生式系统、知识表示、机器学习、专家系统等。

本章介绍学习关于 Prolog编程最基本的内容,包括Horn子句 Prolog、推理 机、程序控制、 Prolog算符等。 Visual Prolog是面向对象的、严格类型化的和模式检验的。在编写 Visual Prolog程序时,必须掌握这些内容。但在这里,我们将集中于编写代码这个 核心问题,也就是说,编写这些代码时暂时不考虑类、类型和模式。 我们将使用包含在 Visual Prolog6中的PIE例子。PIE是一个 Prolog经典的 解释器,通过使用它,可以学会和试验 Prolog程序,而不必关心类、类型等 方面的知识

本章介绍基于 Visual Prolog编程方面的知识, 主要内容包括 Visual Prolog基础、 Visual Prolog的GUI编程、 Visual Prolog的逻辑层、 Visual Prolog的数据层

本章介绍 Visual Prolog6的编码风格,包括基本 元素、推荐格式、程序结构、程序设计语用学、存储 管理,以及异常处理。这里描述的 Visual Prolog程序 的编码标准,是 Visual Prolog系统本身的一部分。且 用户文档中的例子也是标准的,它门同样也代表了 Prolog发展中心为用户推荐的编码标准

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计

2.1 基本PROLOG 2.2 Turbo PROLOG程序设计