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

《人工智能及专家系统 教学课件 作者 敖志刚 第12章 Prolog语言及其程序设计.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、敖志刚编制第12章Prolog语言及其程序设计第12章Prolog语言及其程序设计12．1Prolog语言简介12．2PDCProlog数据结构和基本语句12．2．1常量与变量12．2．2三种基本语句12．3PDCProlog运算符与常用内部谓词12．3．1函数与运算符12．3．2输入与输出内部谓词12．3．3动态数据库内部谓词12．4PDCPROLOG程序结构及其说明12．4．1程序结构12．4．2常量段说明12．4．3域类型说明12．4．4谓词与动态数据库说明12．4．5谓词与域类型说明示例12．4．6对象数据类型的转换第12章Prolog语言及其程

2、序设计12．5PDCProlog的基本搜索方法12．5．1搜索与回溯12．5．2失败回溯循环法12．5．3切断回溯控制循环法12．5．4自定义的循环方法12．5．5递归12．6PDCProlog的数据处理12．6．1表处理技术12．6．2字符串处理12．6．3文件处理第12章Prolog语言及其程序设计12．7PDCProlog的多媒体技术12．7．1窗口的建立及使用12．7．2图形模式的设置与绘图12．7．3声音的内部谓词及其应用12．8PDCPROLOG语言与C语言的连接12．8．1语言条件12．8．2外部谓词说明12．8．3参数传递12．8．4外部

3、C语言子程序12．9VisualProlog语言12．9．1VisualProlog语言简介12．9．2VisualProlog的可视化开发环境及其使用12．1Prolog语言简介Prolog(PrograminginLogic)的第一个系统是1972年开发的。它是一种典型的逻辑型语言，又称描述性语言。又有人把Prolog称为面向目标的语言。应用目前己广泛应用于关系数据库、抽象问题求解、数理逻辑、符号处理、定理证明、自然语言理解、专家系统以及人工智能的许多领域。主要版本纯Prolog、PrologⅡ、ArityProlog、WisdomProlog、Mi

4、croProlog、PDC(Turbo)Prolog、Dec-10Prolog、MPProlog、PDP-11UNIXProlog、QuintusProlog等等。PDC(Turbo)Prolog是1986年美国BorlandInternational公司为IBMPC及其兼容微机研制的一种编译型Prolog系统，其1.0、2.0、2.1版本取名为TurboProlog，其新版本3.0、3.2版本更名为PDCProlog。现在已研制出visualProlog。TurboProlog的系统界面PDCProlog的重要特点1．运行速度快，内存要求小，2．用户界

5、面友好。3．内部谓词丰富独特4．具有强大的图形功能。支持与TurboC和TurboPascal同样的图形功能。5.集成式、模块化的程序开发环境，能与C、Pascal、Fortran、汇编、dBASEⅢ等语言实现自然和谐的联结，6.程序运行时，能自动地适应模式匹配、回溯和递归。程序接近于自然语言、文法简捷、逻辑性强、易写易读、便于学习使用、易于正确性证明。VisualPrologVisualProlog是基于Prolog语言的可视化集成开发环境，是PDC推出的基于Windows环境的智能化编程工具，也是一个可以制作界面的Prolog，已经推出版本4.x、5

6、.x、6.x和7.x。它的基本Prolog语句同DOS下的TurboProlog相似，原DOS下的Prolog原程序也很容易移植。这个prolog版本需要对谓词以及数据进行声明，就像C语言一样。因此在使用的时候比较复杂，不过更加适合编制较大的程序。VisualProlog为编译型执行，运行速度比解释型Prolog快，原程序可编译为独立执行的可执行程序，也可发布为动态连接库供VB，VC，Delphi等调用，为开发者提供更灵活的组合开发方式。VisualProlog具有模式匹配、递归、回溯、对象机制、事实数据库和谓词库等强大功能。它包含构建大型应用程序所需要

7、的一切特性、图形开发环境、编译器、连接器和调试器，支持模块化和面向对象程序设计，支持系统级编程、文件操作、字符串处理、位级运算、算术与逻辑运算，以及与其它编程语言的接口。12．2PDCProlog数据结构和基本语句12．2．1常量与变量1.常量常量是用来命名特定对象和特定关系的一种符号，它描述的对象是已知的或具体的。包括四个方面：①整数和实数②用小写字母打头的由字母、数字（0，1，…9）串、“_”下划线组成的串序列;③复合对象(如sdudent(“张三”))④表(如[1,2,3,4,5])；⑤单引号内的单个字符或双引号内的任何字符。2.变量定义：变量是用

8、来代表某些尚不能命名的对象。类型：整数、实数、字符、串、符号、复合对象、表和匿名