人工智能及专家系统课件作者敖志刚第12章节Prolog语言及其程序设计.pptVIP

第2章 知识表示 第12章 Prolog语言及其程序设计 12．1 Prolog语言简介 12．2 PDC Prolog数据结构和基本语句 12．2．1 常量与变量 12．2．2 三种基本语句 12．3 PDC Prolog运算符与常用内部谓词 12．3．1 函数与运算符 12．3．2 输入与输出内部谓词 12．3．3 动态数据库内部谓词 12．4 PDC PROLOG程序结构及其说明 12．4．1 程序结构 12．4．2 常量段说明 12．4．3 域类型说明 12．4．4 谓词与动态数据库说明 12．4．5 谓词与域类型说明示例 12．4．6 对象数据类型的转换 第12章 Prolog语言及其程序设计 12．5 PDC Prolog的基本搜索方法 12．5．1 搜索与回溯 12．5．2 失败回溯循环法 12．5．3 切断回溯控制循环法 12．5．4 自定义的循环方法 12．5．5 递归 12．6 PDC Prolog的数据处理 12．6．1 表处理技术 12．6．2 字符串处理 12．6．3 文件处理 第12章 Prolog语言及其程序设计 12．7 PDC Prolog的多媒体技术 12．7．1 窗口的建立及使用 12．7．2 图形模式的设置与绘图 12．7．3 声音的内部谓词及其应用 12．8 PDC PROLOG语言与C语言的连接 12．8．1 语言条件 12．8．2 外部谓词说明 12．8．3 参数传递 12．8．4 外部C语言子程序 12．9 Visual Prolog语言 12．9．1 Visual Prolog语言简介 12．9．2 Visual Prolog的可视化开发环境及其使用 12．1 Prolog语言简介 Prolog(Programing in Logic)的第一个系统是1972年开发的。它是一种典型的逻辑型语言，又称描述性语言。又有人把Prolog称为面向目标的语言。 应用 目前己广泛应用于关系数据库、抽象问题求解、数理逻辑、符号处理、定理证明、自然语言理解、专家系统以及人工智能的许多领域。 主要版本 纯Prolog、PrologⅡ、Arity Prolog、Wisdom Prolog、Micro Prolog、PDC(Turbo) Prolog、Dec-10 Prolog、MP Prolog、PDP-11 UNIX Prolog、Quintus Prolog等等。 PDC(Turbo) Prolog是1986年美国Borland International公司为IBM PC及其兼容微机研制的一种编译型Prolog系统，其1.0、2.0、2.1版本取名为Turbo Prolog，其新版本3.0、3.2版本更名为PDC Prolog。现在已研制出visual Prolog。 Turbo Prolog的系统界面 PDC Prolog的重要特点 1．运行速度快，内存要求小， 2．用户界面友好。 3．内部谓词丰富独特 4．具有强大的图形功能。支持与Turbo C和Turbo Pascal同样的图形功能。 5. 集成式、模块化的程序开发环境，能与C、Pascal、Fortran、汇编、dBASE Ⅲ等语言实现自然和谐的联结， 6. 程序运行时，能自动地适应模式匹配、回溯和递归。程序接近于自然语言、文法简捷、逻辑性强、易写易读、便于学习使用、易于正确性证明。 Visual Prolog Visual Prolog是基于Prolog语言的可视化集成开发环境，是PDC推出的基于Windows环境的智能化编程工具，也是一个可以制作界面的Prolog，已经推出版本4.x、5.x、6.x和7.x。它的基本Prolog语句同DOS下的Turbo Prolog相似，原DOS下的Prolog原程序也很容易移植。这个prolog版本需要对谓词以及数据进行声明，就像C语言一样。因此在使用的时候比较复杂，不过更加适合编制较大的程序。Visual Prolog为编译型执行，运行速度比解释型Prolog快，原程序可编译为独立执行的可执行程序，也可发布为动态连接库供VB，VC，Delphi等调用，为开发者提供更灵活的组合开发方式。 Visual Prolog具有模式匹配、递归、回溯、对象机制、事实数据库和谓词库等强大功能。它包含构建大型应用程序所需要的一切特性、图形开发环境、编译器、连接器和调试器，支持模块化和面向对象程序设计，支持系统级编程、文件操作、字符串处理、位级运算、算术与逻辑运算，以及与其它编程语言的接口。 12．2 PDC Prolog数据结构和基本语句 12．2．1 常量与变量 1. 常量 常量是用来命名特定对象和特定关系的一种符号，它描述的对象是已知的或具体的。包