VisualProlog智能化应用开发的强大工具.ppt

《VisualProlog智能化应用开发的强大工具.ppt》由会员分享，可在线阅读，更多相关《VisualProlog智能化应用开发的强大工具.ppt（102页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、雷英杰空军工程大学导弹学院二系空军工程大学导弹学院二系Visual Prolog，智能化应 用 开 发 的 强 大 工 具1/27/20231/27/20231 1空军工程大学空军工程大学 雷英杰雷英杰Visual Prolog 语言专题网页:http:/ Page(主页)：http:/ time:by appointment1/27/20231/27/20232 2空军工程大学空军工程大学 雷英杰雷英杰主 要 内 容一、概一、概 述述二、二、Visual Prolog与与Prolog 三、三、Prolog能作何用能作何用四、四、Visual Prolog的特点的特点五、五、Prolog与其它

2、语言有何差别与其它语言有何差别?六、关于六、关于Visual Prolog资料资料七、系统需求七、系统需求1/27/20231/27/20233 3空军工程大学空军工程大学 雷英杰雷英杰主 要 内 容一、概一、概 述述二、二、Visual Prolog与与Prolog 三、三、Prolog能作何用能作何用四、四、Visual Prolog的特点的特点五、五、Prolog与其它语言有何差别与其它语言有何差别?六、关于六、关于Visual Prolog资料资料七、系统需求七、系统需求1/27/20231/27/20234 4空军工程大学空军工程大学 雷英杰雷英杰 PrologProlog语语言言是

3、是人人工工智智能能与与专专家家系系统统领领域域最最著著名名的的逻逻辑辑程程序序设设计计语语言言。Visual Visual PrologProlog意意指指可可视视化化逻逻辑辑程程序序设设计计语语言言，是是基基于于PrologProlog语语言言的的可可视视化化集集成成开开发发环环境境，是是PrologProlog开开发发中中心心（PDCPDC）最最新新推推出出的的基基于于WindowsWindows环环境境的的智智能能化化编编程程工工具具，其其语语言言特特性性符符合合相相应应的的国国际际标标准准ISO/IEC ISO/IEC 13211-1:199513211-1:1995。是是国国际际上上

4、研研究究和和开开发发智智能能化化应应用用的的主主流流工工具具之之一一。预预计计不不长长时时期期内内，Visual Visual PrologProlog将将会会在在我我国国流流行行开开来来，并并将将迅迅速速成成为为我我国国研研究究和和开开发发智智能能化应用的主流工具。化应用的主流工具。一、一、概概述述1/27/20231/27/20235 5空军工程大学空军工程大学 雷英杰雷英杰 Visual Visual PrologProlog具具 有有 模模 式式 匹匹 配配、递递 归归、回回 溯溯(backtrack)(backtrack)、对对象象机机制制、事事实实数数据据库库和和谓谓词词库库等等强

5、强大大功功能能。它它包包含含构构建建大大型型应应用用程程序序所所需需要要的的一一切切特特性性：图图形形开开发发环环境境、编编译译器器、连连接接器器和和调调试试器器，支支持持模模块块化化和和面面向向对对象象程程序序设设计计，支支持持系系统统级级编编程程、文文件件操操作作、字字符符串串处处理理、位位级级运运算算、算算术术与与逻逻辑辑运运算算，以以及及与与其其它它编编程程语语言的接口。言的接口。Visual Visual PrologProlog包包含含一一个个大大型型库库，捆捆绑绑了了范范围围广广阔阔的的APIAPI函函数数：包包括括Windows Windows GUIGUI函函数数族族、ODB

6、C/OCIODBC/OCI数数据据库库函函数数族族和和InternetInternet函函数数族族（socketsocket、ftpftp、httphttp、cgicgi等等）。开开发发环环境境全全部部使使用用Visual Visual PrologProlog语语言言写写成成，而而且且包包含含对对话框、菜单、工具栏等若干编码专家和图形编辑器。话框、菜单、工具栏等若干编码专家和图形编辑器。一、一、概概述述1/27/20231/27/20236 6空军工程大学空军工程大学 雷英杰雷英杰 Visual Visual PrologProlog非非常常适适合合于于专专家家系系统统、规规划划和和其其它它

7、AIAI相相关关问问题题的的求求解解，是是智智能能程程序序设设计计语语言言中中具具有有代代表表性性且且应应用用较较多多的的一一种种程程序序设设计计语语言言。由由于于这这种种语语言言很很适适合合表表达达人人的的思思维维和和推推理理规规则则，在在自自然然语语言言理理解解、机机器器定定理理证证明明、专专家家系系统统等等方方面面得得到到了了广广泛泛的的应应用用，在在智智能能程程序序设设计计语语言言中中占占有有相相当当重重要要的的地地位位。Visual Visual PrologProlog不不仅仅是是优优秀秀的的智智能能化化应应用用开开发发工工具具，而而且且与与SQLSQL数数据据库库系系统统、Vis

8、ual Visual C+C+或或其其它它C+C+开开发发系系统统、Visual Visual BasicBasic、DelphiDelphi或或Visual Visual AgeAge等等编编程程语语言言一一样样，已已经经成成为为适适用用于于任任何何应应用用领领域域的的强强有有力力的的通用开发工具。通用开发工具。一、一、概概述述1/27/20231/27/20237 7空军工程大学空军工程大学 雷英杰雷英杰 智智能能化化是是当当前前计计算算机机、自自动动化化、通通信信、管管理理等等信信息息科科学学技技术术领领域域中中的的新新方方法法、新新技技术术、新新产产品品的的重重要要发发展展方方向向与与

9、开开发发策策略略之之一一。信信息息处处理理的的智智能能化化与与信信息息社社会会对对智智能能的的巨巨大大需需求求是是人人工工智智能能发发展展的的强强大大动动力力。人人工工智智能能与与专专家家系系统统曾曾取取得得过过许许多多令令人人注注目目的的成成果果，也也走走过过不不少少弯弯路路，经经历历过过不不少少挫挫折折。近近几几年年来来，随随着着计计算算机机与与网网络络通通信信技技术术的的迅迅猛猛发发展展，特特别别是是因因特特网网的的大大规规模模普普及及，人人工工智智能能与与专专家家系系统统的的研研究究再再度度活活跃跃起起来来，并并正正向向更更为为广广泛泛的的领领域域发发展展。围围绕绕人人工工智智能能与与

10、专专家家系系统统的的研研究究和和应应用用开开发发也也迎迎来来一一个个蓬蓬勃勃发展的新时期。发展的新时期。一、一、概概述述1/27/20231/27/20238 8空军工程大学空军工程大学 雷英杰雷英杰主 要 内 容一、概一、概 述述二、二、Visual Prolog与与Prolog 三、三、Prolog能作何用能作何用四、四、Visual Prolog的特点的特点五、五、Prolog与其它语言有何差别与其它语言有何差别?六、关于六、关于Visual Prolog资料资料七、系统需求七、系统需求1/27/20231/27/20239 9空军工程大学空军工程大学 雷英杰雷英杰二、Visual Pr

11、olog与与Prolog PrologProlog是是全全世世界界计计算算机机科科学学家家多多年年来来研研究究工工作作的的结结晶晶。PrologProlog的的第第一一个个正正式式版版本本由由法法国国马马赛赛大大学学Alain Alain ColmerauerColmerauer于于7070年年代代作作为为一一种种逻逻辑辑程程序序设设计计工工具具研研制制。其其结结果果是是诞诞生生了了一一种种远远比比当当今今PascalPascal和和C C这这样样著著名名的的编编程程语语言言功功能能更更加加强强大大的的语语言言。一一个个特特定定应应用用的的PrologProlog程程序序典典型型情情况况下下只

12、只需需要要对对应应C+C+程序的十分之一程序行。程序的十分之一程序行。今今天天，PrologProlog是是人人工工智智能能应应用用编编程程和和专专家家系系统统开开发发的的一一个个非非常常重重要要的的工工具具。更更多多的的“用用户户友友好好性性”和和智智能能化化程程序序的的要求是使要求是使PrologProlog流行起来的另一个原因。流行起来的另一个原因。1/27/20231/27/20231010空军工程大学空军工程大学 雷英杰雷英杰 PrologProlog最最重重要要的的好好处处是是非非常常公公平平地地适适用用于于任任何何应应用用领领域域：通通过过让让程程序序员员建建立立对对象象和和进进

13、程程之之间间的的逻逻辑辑关关系系，复复杂杂问问题题更更容容易易从从本本质质上上求求解解，而而且且产产生生的的程程序序在在其其生生命命周周期期更更容容易易维维护护。定定制制知知识识库库、专专家家系系统统、自自然然语语言言接接口口和和智智能能信信息息管管理理系系统统这这些些应应用用都都是是当当前前使使用用Visual Visual PrologProlog进行程序设计的领域范围。进行程序设计的领域范围。PrologProlog已已经经走走出出了了人人工工智智能能实实验验室室，PDCPDC的的Visual Visual PrologProlog是是一一个个商商业业上上富富有有竞竞争争的的通通用用开开

14、发发环环境境。Visual Visual PrologProlog因因其其容容易易增增加加程程序序甚甚至至网网站站的的智智能能化化特特性性而而日日益益变成许多开发者选择的工具。变成许多开发者选择的工具。1/27/20231/27/20231111空军工程大学空军工程大学 雷英杰雷英杰 PrologProlog是是一一种种众众所所周周知知的的说说明明性性语语言言。这这就就是是说说，给给出出所所需需要要的的事事实实和和规规则则，PrologProlog将将使使用用演演绎绎推推理理求求解解编编程程问问题题。这这与与传传统统的的过过程程性性编编程程语语言言如如C C、BASICBASIC和和Pasca

15、lPascal等等形形成成了了鲜鲜明明的的对对照照。在在过过程程性性语语言言中中，程程序序员员必必须须提提供供一一步步一一步步的的指指令令，准准确确地地告告诉诉计计算算机机如如何何求求解解给给定定的的问问题题。换换句句话话说说，程程序序员员必必须须预预先先知知道道如如何何求求解解这这个个问问题题。另另一一方方面面，PrologProlog程程序序员员只只需需要要提提供供对对问问题题的的描描述述和和求求解解的的基基本本规则。此后，规则。此后，PrologProlog系统将确定如何找到一个解。系统将确定如何找到一个解。PrologProlog鼓鼓励励程程序序员员从从结结构构良良好好的的问问题题描描

16、述述开开始始，因因而而实实际际上上，PrologProlog也也可可以以被被用用作作指指定定产产品品的的规规格格说说明明工工具具和和实实现工具。现工具。1/27/20231/27/20231212空军工程大学空军工程大学 雷英杰雷英杰 Visual Visual PrologProlog是是PDC PDC PrologProlog和和Turbo Turbo PrologProlog的的后后继继产产品品。在在微微机机上上，Visual Visual PrologProlog是是基基于于WindowsWindows环环境境的的，而而早早期期的的PDC PDC PrologProlog和和Turbo

17、 Turbo PrologProlog是是基基于于DOSDOS环环境境的的。Visual Visual PrologProlog特特别别适适合合于于处处理理知知识识和和知知识识问问题题求求解解，是是优优秀秀的的智智能能化化应应用用开开发发工工具具。同同时时也也已已经经成成为为适适合合于于任任何何应用领域的通用开发工具。应用领域的通用开发工具。PDCPDC的的Visual Visual PrologProlog特特别别适适用用于于这这些些传传统统类类型型的的数数据据库库任任务务，因因为为Visual Visual PrologProlog具具有有的的编编程程能能力力之之一一就就是是十十分易于使用

18、的数据库引擎。分易于使用的数据库引擎。1/27/20231/27/20231313空军工程大学空军工程大学 雷英杰雷英杰 Visual Visual PrologProlog由由于于高高度度优优化化的的编编译译器器，创创建建的的程程序序非常快，几乎与基于非常快，几乎与基于C+C+的应用程序一样快。的应用程序一样快。WebWeb编编程程支支持持和和对对象象机机制制这这两两种种功功能能是是对对Visual Visual PrologProlog商商用用有有效效性性的的巨巨大大贡贡献献。对对象象机机制制本本身身就就是是一一种种非非常常强强大大的的建建模模工工具具，几几乎乎已已经经成成了了Pascal

19、Pascal、C+C+、SmalltalkSmalltalk等等语语言言的的一一种种事事实实上上的的标标准准。WebWeb编编程程支支持持是是一个重要的新特性。一个重要的新特性。譬譬如如，用用Visual Visual PrologProlog写写的的专专家家系系统统，可可以以被被连连接接到到WebWeb页页，在在支支持持部部门门、网网上上贸贸易易和和其其它它一一些些基基于于WebWeb技技术的开发等方面将发挥重要作用。术的开发等方面将发挥重要作用。1/27/20231/27/20231414空军工程大学空军工程大学 雷英杰雷英杰主 要 内 容一、概一、概 述述二、二、Visual Prolo

20、g与与Prolog 三、三、Prolog能作何用能作何用四、四、Visual Prolog的特点的特点五、五、Prolog与其它语言有何差别与其它语言有何差别?六、关于六、关于Visual Prolog资料资料七、系统需求七、系统需求1/27/20231/27/20231515空军工程大学空军工程大学 雷英杰雷英杰三、三、PrologProlog能作何用能作何用?3.1 3.1 人工智能应用人工智能应用 PrologProlog最最初初是是作作为为一一种种人人工工智智能能（AIAI）语语言言设设计计的的，它它非非常常适适合合于于专专家家系系统统和和类类似似的的AIAI应应用用。框框架架和和基基

21、于于规规则则的的系系统统，前前向向链链和和后后向向链链，模模式式匹匹配配机机制制，约约束束求求解解机机制制，都是自然而精致的都是自然而精致的PrologProlog潜在语义的表达式。潜在语义的表达式。PDCPDC的的用用户户已已经经在在银银行行、航航空空、健健康康、保保险险、医医疗疗、工工业业等等广广泛泛的的领领域域建建成成咨咨询询系系统统、决决策策支支持持、诊诊断断、专专家家系系统外壳或自然语言应用程序。统外壳或自然语言应用程序。1/27/20231/27/20231616空军工程大学空军工程大学 雷英杰雷英杰3.2 3.2 其它领域的应用其它领域的应用 PrologProlog的的能能力力

22、已已经经延延伸伸到到AIAI之之外外。高高级级抽抽象象，表表示示复复杂杂数数据据结结构构的的易易用用性性和和简简明明性性，使使得得编编程程的的说说明明性方法有益于任何学科或问题求解策略。性方法有益于任何学科或问题求解策略。基基于于这这个个原原因因，Visual Visual PrologProlog已已经经广广泛泛用用来来建建造造行行政政事事务务、高高级级数数据据库库管管理理、规规划划和和调调度度系系统统、基基于于WebWeb的应用等等。的应用等等。1/27/20231/27/20231717空军工程大学空军工程大学 雷英杰雷英杰主 要 内 容一、概一、概 述述二、二、Visual Prolo

23、g与与Prolog 三、三、Prolog能作何用能作何用四、四、Visual Prolog的特点的特点五、五、Prolog与其它语言有何差别与其它语言有何差别?六、关于六、关于Visual Prolog资料资料七、系统需求七、系统需求1/27/20231/27/20231818空军工程大学空军工程大学 雷英杰雷英杰四、四、Visual PrologVisual Prolog的特点的特点1.1.可视化开发环境可视化开发环境 可可视视化化开开发发环环境境（VDE）把把编编译译器器与与编编辑辑器器、资资源源工工具具箱箱、资资源源和和应应用用专专家家、交交互互式式建建造造工工具具和和各各种种浏浏览览工

24、工具具等结合在一起。等结合在一起。在在交交互互式式、可可视视化化地地创创建建用用户户接接口口部部件件之之后后，就就自自动动生生成成了了一一个个运运行行原原型型。应应用用程程序序专专家家为为一一个个项项目目创创建建所所需需要要的的全全部部文文件件，资资源源专专家家知知道道如如何何生生成成Prolog代代码码，以以支支持所选择的全部资源。持所选择的全部资源。设设计计VDE是是为为了了使使开开发发应应用用程程序序更更加加容容易易、方方便便和和快快捷捷，这这些些应应用用程程序序是是基基于于每每一一个个本本地地操操作作系系统统提提供供标标准准接接口的高级抽象。口的高级抽象。1/27/20231/27/2

25、0231919空军工程大学空军工程大学 雷英杰雷英杰1/27/20231/27/20232020空军工程大学空军工程大学 雷英杰雷英杰2.2.编码专家编码专家 编编码码专专家家创创建建并并维维护护PrologProlog的的控控件件资资源源代代码码。Visual Visual PrologProlog最最 大大 的的 强强 项项 可可 能能 是是 把把 布布 局局 设设 计计 工工 具具（LayoutLayout）和和编编码码专专家家结结合合在在一一起起。编编码码专专家家完完成成大大部部分分工工作作，就就是是说说，你你可可以以在在几几分分钟钟之之内内创创建建一一个个应应用用程程序序，然后从这个

26、原型逐渐增强到最终的应用程序。然后从这个原型逐渐增强到最终的应用程序。1/27/20231/27/20232121空军工程大学空军工程大学 雷英杰雷英杰1/27/20231/27/20232222空军工程大学空军工程大学 雷英杰雷英杰3.3.生成和配置项目的应用程序专家生成和配置项目的应用程序专家应应用用程程序序专专家家能能生生成成一一个个新新项项目目。它它说说明明操操作作系系统统、UI策策略略、C编编译译器器、伴伴随随工工具具等等各各种种各各样样的的组组合合。当当生生成成一一个个新新项项目目时时，它它将将自自动动建建立立所所有有的的基基本本工工具具，如如帮帮助助文文件、工具栏、菜单等。件、工

27、具栏、菜单等。1/27/20231/27/20232323空军工程大学空军工程大学 雷英杰雷英杰应用程序专家应用程序专家1/27/20231/27/20232424空军工程大学空军工程大学 雷英杰雷英杰4.4.资源集成编辑器资源集成编辑器 这这些些工工具具使使得得以以交交互互方方式式可可视视化化地地设设计计和和修修改改用用户户接接口口成成为为可可能能。使使用用鼠鼠标标安安排排控控件件在在对对话话框框或或窗窗口口中中的的布布局局，设设置置访访问问属属性性。资资源源由由窗窗口口、对对话话框框、位位图图、图图标标、光光标标和串等组成，它们是任何使用和串等组成，它们是任何使用GUIGUI的应用程序都需

28、要的的应用程序都需要的.1/27/20231/27/20232525空军工程大学空军工程大学 雷英杰雷英杰5.5.引入资源的能力引入资源的能力 资源可以从资源可以从DLLDLL、应用程序、应用程序、RESRES文件及其它文件及其它Visual Visual PrologProlog项目引入。项目引入。1/27/20231/27/20232626空军工程大学空军工程大学 雷英杰雷英杰6.6.语言敏感的文本编辑器语言敏感的文本编辑器 Visual Prolog包包含含现现代代开开发发环环境境中中能能找找到到的的所所有有特特性性，例例如如功功能能强强大大的的源源代代码码编编辑辑器器，可可以以使使Vi

29、sual Prolog的的关关键键字字和和其其它它语语言言元元素素的的代代码码有有不不同同的的颜颜色色。这这些些颜颜色色能能使使谓谓词词名名、参参数数、注注释释等等之之间间的的差差别别更更易易于于区区分分。编编辑辑器器支支持持不不受受限限制制的的撤撤消消与与重重做做设设施施、搜搜索索与与替替换换、剪剪切切、拷拷贝贝、粘粘贴贴、快快速速拖拖放放移移动动块块，甚甚至至嵌嵌入入超超文文本本链链接接。此此外外，与与以以前前的的PDC编编辑辑器器一一样样，程程序序员员能能够够把把这这个个编编辑辑器功能包括在自己的应用程序中。器功能包括在自己的应用程序中。1/27/20231/27/20232727空军工

30、程大学空军工程大学 雷英杰雷英杰7.7.集成帮助生成器集成帮助生成器 内内置置的的帮帮助助创创作作系系统统使使得得很很容容易易给给出出应应用用程程序序的的联联机机帮帮助助。这这个个帮帮助助系系统统是是基基于于PDCPDC的的超超文文本本抽抽象象机机（HAMHAM）的的。在在帮帮助助创创作作系系统统中中，有有可可能能在在设设计计阶阶段段交交互互式式地地输输入入文文本本，用用鼠鼠标标标标记记新新的的链链接接，跟跟随随现现有有的的链链接接。帮帮助助系系统统能能够够输输出出WindowsWindows的的.RTF.RTF格格式式，所所以以它它可可以以生生成成本本地地的的WindowsWindows帮帮

31、助系统。助系统。HelpHelp编编译译器器（如如HCW.EXEHCW.EXE）不不包包括括在在Visual Visual PrologProlog中中，但但可可以以在在Visual Visual C+C+和和Borland Borland C+C+产产品品中中找找到到。如如果果需需要要一一个个更更新新版版本本的的WindowsWindows帮帮助助编编译译器器，可可以以查查看看一一下下ftp:/ftp:/目录。目录。1/27/20231/27/20232828空军工程大学空军工程大学 雷英杰雷英杰Visual Prolog的帮助系统的帮助系统1/27/20231/27/20232929空军工

32、程大学空军工程大学 雷英杰雷英杰8.8.源代码浏览器源代码浏览器 Visual Visual PrologProlog编编译译器器为为源源代代码码浏浏览览器器产产生生信信息息，所所以以，检检查查模模块块中中的的谓谓词词、浏浏览览项项目目中中所所有有全全局局谓谓词词，或或者者查找任何谓词、论域声明或定义的位置，都是很方便的。查找任何谓词、论域声明或定义的位置，都是很方便的。1/27/20231/27/20233030空军工程大学空军工程大学 雷英杰雷英杰9.9.项目共享与源代码控制项目共享与源代码控制 对对 于于 VPVP可可 以以 使使 用用 源源 代代 码码 控控 制制 系系 统统，如如 V

33、isual Visual SourceSafeSourceSafe、PVCSPVCS和和MKSMKS，它它使使得得很很容容易易在在几几个个项项目目之之间间共享源代码，也允许多个程序员从事同一项目。共享源代码，也允许多个程序员从事同一项目。1/27/20231/27/20233131空军工程大学空军工程大学 雷英杰雷英杰10.10.VP大型联机帮助参考信息大型联机帮助参考信息 这这个个帮帮助助设设施施提提供供一一个个完完全全的的VDEVDE操操作作指指南南和和完完整整的的基本基本PrologProlog语言及可视化编程扩展的参考信息。语言及可视化编程扩展的参考信息。1/27/20231/27/2

34、0233232空军工程大学空军工程大学 雷英杰雷英杰1/27/20231/27/20233333空军工程大学空军工程大学 雷英杰雷英杰11.11.可视化编程接口（可视化编程接口（VPIVPI）一一 种种 可可 移移 植植 的的 Visual Visual PrologProlog图图 形形 用用 户户 接接 口口（GUIGUI）APIAPI已已经经定定义义。这这个个APIAPI是是一一种种抽抽象象的的设设施施，可可以以在在基基本本的的Windows Windows 95/98/Me/XP95/98/Me/XP及及Windows Windows NT/2000NT/2000平平台台中中找找到到。

35、可可视视化化编编程程接接口口给给Visual Visual PrologProlog程程序序员员一一个个比比本本地地编编程程更更可可移移植植和和更更容容易易使使用用的的GUI GUI APIAPI。然然而而，为为了了使使用用户户不不受受限限制制，VPIVPI也也包包含含不不可可移移植植的的平平台台专专用用设设施施和和选选件。件。1/27/20231/27/20233434空军工程大学空军工程大学 雷英杰雷英杰12.12.高级高级GUIGUI部件部件 这些工具包括删格、树型窗口、这些工具包括删格、树型窗口、ExplorerExplorer视图、工视图、工具栏、制表对话框、高级报表处理等。具栏、制

36、表对话框、高级报表处理等。1/27/20231/27/20233535空军工程大学空军工程大学 雷英杰雷英杰13.13.快速而高度优化的编译器快速而高度优化的编译器 VPVP的的编编译译器器产产生生紧紧凑凑的的本本地地代代码码，足足以以与与PascalPascal和和C C编编译译器器所所生生成成的的代代码码媲媲美美。编编译译器器执执行行几几种种不不同同的的分分析析，范范围围从从全全局局流流程程分分析析和和确确定定性性机机制制检检查查，向向下下到到寄寄存存器器分分配和偷窥优化。配和偷窥优化。除除了了产产生生有有效效代代码码，编编译译器器执执行行许许多多高高级级检检查查，检检测测潜潜在在的的编编

37、译译时时间间问问题题。主主要要是是类类型型检检验验分分析析、全全局局流流程程分分析析,确定性机制检查和可能的失败检测。确定性机制检查和可能的失败检测。1/27/20231/27/20233636空军工程大学空军工程大学 雷英杰雷英杰编译器选件对话框编译器选件对话框1/27/20231/27/20233737空军工程大学空军工程大学 雷英杰雷英杰14.14.检测编译时间错误的类型检查机制检测编译时间错误的类型检查机制 VPVP杰杰出出的的特特性性之之一一是是其其类类型型机机制制，它它提提供供一一个个额额外外级级别别的的编编程程安安全全性性。类类型型声声明明是是资资料料性性代代码码，有有助助于于编

38、编译译器器在在开开发发的的早早期期阶阶段段指指出出创创建建的的类类型型错错误误和和更更严严重重的的逻逻辑辑错错误误。因因此此，通通过过比比照照程程序序员员和和开开发发系系统统之之间间的的类类型型，使使得得类类型型声声明明有有助助于于保保证证一一个个程程序序在在整整个个产产品品生生命命周周期期的的完完整整性性。更更进进一一步步，这这些些声声明明帮帮助助编编译译器器生生成成的的程程序序更更有有效效，在执行期间更节省存储空间。在执行期间更节省存储空间。1/27/20231/27/20233838空军工程大学空军工程大学 雷英杰雷英杰15.15.调试器调试器 当当程程序序较较大大时时，我我们们就就会会

39、发发现现VPVP的的调调试试器器是是一一个个不不可可缺缺少少的的工工具具。调调试试器器对对编编译译出出来来的的代代码码进进行行工工作作，允允许许设设置置断断点点和和单单步步执执行行代代码码。当当单单步步执执行行代代码码时时，可可以以检检查变量的值及尚待证实的事实的内容。查变量的值及尚待证实的事实的内容。1/27/20231/27/20233939空军工程大学空军工程大学 雷英杰雷英杰调调 试试 器器1/27/20231/27/20234040空军工程大学空军工程大学 雷英杰雷英杰16.16.异常处理和错误陷阱异常处理和错误陷阱 VPVP包包括括功功能能强强大大的的处处理理错错误误情情况况和和控

40、控制制用用户户中中断断的的机机制制。程程序序员员可可以以在在错错误误检检查查和和错错误误报报告告的的不不同同级级别别（0，1，2，3）上进行选择。）上进行选择。1/27/20231/27/20234141空军工程大学空军工程大学 雷英杰雷英杰17.17.类和对象类和对象 人人们们常常常常在在面面向向对对象象和和说说明明性性编编程程语语言言之之间间进进行行辩辩识识，但但在在VPVP中中，可可以以同同时时使使用用取取自自这这两两种种范范例例的的特特性性。VPVP语言支持对象和类，在设计中与语言支持对象和类，在设计中与C+C+实现类似。实现类似。1/27/20231/27/20234242空军工程大

41、学空军工程大学 雷英杰雷英杰18.18.可移植性编码可移植性编码 VPVP系系统统可可用用于于多多种种平平台台，并并能能为为多多种种平平台台生生成成程程序序。除除了了个个别别操操作作系系统统专专用用设设施施和和限限制制之之外外，PrologProlog代代码码在在所有平台之间是可移植的。所有平台之间是可移植的。1/27/20231/27/20234343空军工程大学空军工程大学 雷英杰雷英杰19.19.开放式平台开放式平台 VPVP很很好好地地设设计计了了与与其其它它编编程程工工具具的的接接口口。VPVP能能生生成成其其它它语语言言可可调调用用的的例例程程，它它本本身身也也能能够够调调用用其其

42、它它语语言言编编写写的的例例程程。接接口口是是通通用用的的，而而且且支支持持所所有有产产生生标标准准.OBJ.OBJ模模块块的的编编译译器器。此此外外，VPVP程程序序还还能能够够调调用用DLLDLL，并并被被放放在在DLLDLL内内部。部。通通过过声声明明全全局局VPVP谓谓词词为为C C语语言言（或或stdcallstdcall）调调用用约约定定，通通过过声声明明参参数数类类型型和和输输入入输输出出流流程程模模式式，在在VPVP和和C C之之间间不不用用特特殊殊的的胶胶合合代代码码而而直直接接调调用用C C例例程程（就就象象它它们们是是PrologProlog代代码码一一样样）是是完完全全

43、可可能能的的。这这种种接接口口在在两两个个方方向向上上起起作作用用，当当谓谓词词象象C C语语言言那那样样声声明明时时，它它们们能能够够被被C C语语言言例例程直接调用。程直接调用。1/27/20231/27/20234444空军工程大学空军工程大学 雷英杰雷英杰GLOBAL PREDICATESprocedure LONG vpi_LoadDll(STRING)-(i)language cprocedure vpi_FreeDll(LONG)-(i)language cprocedure LONG vpi_GetDllProc(LONG,STRING ProcName)-(i,i)langu

44、age c1/27/20231/27/20234545空军工程大学空军工程大学 雷英杰雷英杰20.20.集成集成MakeMake工具工具 MakeMake工工具具处处理理编编译译、连连接接、资资源源编编辑辑和和资资源源绑绑定定等等所所有有的的复复杂杂性性。MakeMake工工具具检检查查时时间间邮邮戳戳，只只编编译译所所需需要要的的文文件件。为为了了显显示示项项目目的的结结构构，可可以以把把这这种种依依赖赖关关系系显显示示成成一个树。一个树。1/27/20231/27/20234646空军工程大学空军工程大学 雷英杰雷英杰Make工具工具1/27/20231/27/20234747空军工程大学

45、空军工程大学 雷英杰雷英杰21.21.功能强大的数据库子系统功能强大的数据库子系统 快快速速而而非非常常灵灵活活的的数数据据库库子子系系统统使使Visual Visual PrologProlog成成为为一一个个比比许许多多4GL4GL数数据据库库应应用用更更适适当当的的选选择择。这这个个数数据据库库系系统统支支持持一一个个独独特特的的VPVP项项的的有有序序链链的的集集合合，而而数数据据库库的的项项可可以以是是语语言言本本身身支支持持的的任任何何抽抽象象或或数数据据结结构构，从从简简单单的的记记录录到到树树或或图图。数数据据库库系系统统能能直直接接访访问问单单个个项项，或或经经由由项项的的链

46、进行回溯，以产生或匹配特定值。链进行回溯，以产生或匹配特定值。数数据据库库还还支支持持B+B+树树，以以提提供供快快速速数数据据检检索索和和有有效效改改变变项排序的能力。项排序的能力。1/27/20231/27/20234848空军工程大学空军工程大学 雷英杰雷英杰 如如果果正正在在LANLAN应应用用程程序序中中使使用用数数据据库库，就就可可以以利利用用VPVP支支持持外外部部数数据据库库系系统统的的文文件件共共享享这这个个优优点点。通通过过使使用用一一个个机机制制，在在交交易易内内部部有有效效地地使使文文件件访访问问串串行行化化，从从而而提提供供多多用用户户数数据据库库访访问问。也也就就是

47、是说说，一一个个数数据据库库可可以以被被几几个个用用户户或几个进程同时打开或几个进程同时打开。1/27/20231/27/20234949空军工程大学空军工程大学 雷英杰雷英杰VP支持的不同类型的数据库支持的不同类型的数据库1/27/20231/27/20235050空军工程大学空军工程大学 雷英杰雷英杰22.22.客户客户/服务器体系结构服务器体系结构 VPVP是是一一个个建建造造客客户户/服服务务器器应应用用程程序序的的功功能能强强大大的的平平台台。其其主主要要途途径径当当前前是是TCP/IPTCP/IP绑绑定定，也也有有可可能能是是WindowsWindows下下的的NETDDENETD

48、DE。使使用用其其中中任任何何一一种种设设施施，程程序序员员可可以以在在单单个个机机器器的的多多个个进进程程之之间间，或或在在网网络络中中分分开开的的各各机机器器程程序序之之间间，发发送送任任意意复复杂杂的的PrologProlog项项。数数据据库库和和逻逻辑辑服服务务器器可可以以用用这这种设施容易地进行建造。种设施容易地进行建造。1/27/20231/27/20235151空军工程大学空军工程大学 雷英杰雷英杰23.ODBC23.ODBC和可移植和可移植SQLSQL绑定绑定 VPVP的的外外部部数数据据库库常常常常是是存存储储大大量量数数据据最最快快和和最最灵灵活活的的途途径径。然然而而，数

49、数据据可可能能在在另另一一个个数数据据库库系系统统中中已已经经存存在在，或或者者这这个个应应用用程程序序需需要要与与其其它它仅仅仅仅使使用用特特定定数数据据库库技技术术的的应应用用程程序序共共享享数数据据。在在这这种种情情况况下下，能能够够连连接接到到外外部部数数据据库库变变得得非非常常重重要要，而而Visual Visual PrologProlog与与可可移移植植SQLSQL的的绑绑定定将将使使这这种种情情况况对对于于大大多多数数数数据据库库来来说说得得到到简简化化。可可移移植植SQLSQL绑绑定定是是基基于于ODBCODBC、OracleOracle的的OCIOCI库库、或或DB2DB2

50、的的。对对WindowsWindows平平台台而而言言，VPVP还还包包含含更更广广泛泛的的对对MicrosoftMicrosoft的的ODBC ODBC APIAPI的的直接绑定。直接绑定。1/27/20231/27/20235252空军工程大学空军工程大学 雷英杰雷英杰24.24.资料处理工具资料处理工具 PDCPDC的的DOCDOC工工具具为为处处理理丰丰富富的的格格式式化化资资料料提提供供一一个个高高级级抽抽象象。用用PrologProlog结结构构来来表表示示资资料料使使得得不不受受实实际际格格式式限限制制成成为为可可能能，而而不不管管它它们们是是否否.RTF.RTF、HTMLHTM