Prolog语言程序设计.docxVIP

Prolog语言程序设计 课程编号课程名称：Prolog 语言程序设计 学分：2 总学时：32 实验学时：10 课内上机学时：6 先修课程要求：计算机文化基础 适应专业：信息管理与信息系统专业 参考教材：周立柱. 逻辑程序设计及其应用. 清华大学出版社， 1991.4 一、课程在培养方案中的地位、目的和任务 本课程是商学院信息管理与信息系统专业的一门专业选修课程。 Prolog 语言是一种说明性语言,它是英文 PROgramming in LOGic 的缩写，其理论基础是一阶谓词 逻辑。它是人们把逻辑作为程序设计的一种语言的努力结果。它被广泛的应用在人工智能的研究中， 它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很 有帮助。 使用它能够比其他的语言更快速地开发程序， 因为它的编写方法更象是使用逻辑的语言来描 述程序， 在运用 Prolog 进行程序设计时， 重点在于对那些与问题有关对象间的逻辑描述。 在这种逻辑 描述的基础上， Prolog 运用自身具有的问题求解机制寻求答案。 通过本课程的学习， 要求学生掌握深刻理解和掌握 PROLOG 语言的运用；学会用 PROLOG 语 言编写小型的人工智能程序和专家系统。 二、课程的基本要求 通过本课程的学习，要求学生了解什么是 Prolog 语言及其基本特点，了解 Prolog 语言及它与一 阶谓词逻辑间的关系，掌握Prolog 语言的语法、结构、预定义谓词及其程序设计的基本技术。能够使 用 Prolog 语言建造简单的专家系统。 三、课程的基本内容以及重点难点 第一章 Prolog 简介 1.1 fact 1.2 question 1.3 variables 1.4 conjunctions 1.5 rule 第二章 Prolog 与一阶谓词逻辑 (重点、难点) 2.1 数理逻辑简介 2.2 命题演算简介 2.3 一阶谓词逻辑简介 2.5 子句形式 2.5 子句的一种特殊表示 2.6 反驳消解法及定理证明 2.7 Horn 子句与 Prolog 第三章 基本语法及结构 3.1 Prolog 的语法 3.2 算子 3.3 相等关系和匹配 3.4 算术比较运算 Example 3.5 表:基本概念、表的操作 3.5 表：表间的匹配、表的递归使用 第四章 Prolog 程序设计中的问题表示及数据结构 (重点) 4.1 结构化信息查询 4.2 有限自动机仿真(难点) 4.3 八皇后问题 第五章 预定义谓词 cut” !”及其使用(难点) 第六章 Prolog 的文件处理 第八章 Prolog 的窗口、图形处理 四、实验要求 Prolog 语言是一种应用广泛，使用灵活，编程方便、功能丰富的计算机高级语言。广泛使用于人 工智能，问题求解等领域。作为一门计算机语言，除了需要了解该语言的一些基本特点以外，更重要 的是如何利用这种语言去实现具体的实际需求，因此，上机实习就具有十分重要的意义。通过上机实 习，提高学生的动手能力、编程能力以及学习Prolog 语言的兴趣，并灵活运用所学的知识，逐渐编写 适用化的程序。培养学生利用计算机解决问题的基本思路和能力。 要求学生通过实验加深对讲授内容的理解，尤其是一些语法规定；熟悉Prolog 语言程序开发的环境； 学会上机调试程序。 五、课程学时分配 内 内 容 课程概要、参考书目介绍，基础测 试 1. 1fact 1.2 question 1.3variables1.4 conjunctions 1.5rule Examples 其中实验 备 注 (上机学时) 2 4 章 课程介绍 第一章 学 时 Prolog Prolog 与一阶谓词逻辑 2.1 数理逻 辑简介 2.2 命题演算简介 2.3 一阶 谓词逻辑简介 2.4 子句形式 2.5 子 句的一种特殊表示 2.6 反驳消解法 及定理证明 2.7Horn 子句与 Prolog 基本语法及结构 3. 1Prolog 的语法 3.2 算子 3.3 相等关系和匹配 3.4 算 术比较运算 Example 3.5 表:基本概念、表的操作 3.5 表： 表间的匹配、表的递归使用 Example Prolog 程序设计中的问题表示及数 据结构 4.1 结构化信息查询 4.2 有 限自动机仿真 4.3 八皇后问题 预定义谓词 cut” !”及其使用 Prolog 的文件处理 第二章 第三章 第四章 第五章 第六章 8 6 8 2 2 2 2 2 六、考核方式 1 ．课程考核办法：期末考试，笔试。 2．总评成绩构成：平时作业与考勤占 40%，考试成绩占 60%。