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

空军工程大学 雷英杰 二、Visual Prolog与Prolog 33. FTP支持 VP包含一组API和示例程序，显示如何使用Internet的文件传输协议FTP（File Transfer Protocol）从Internet服务器发送和接收文件。 34. HTTP支持 VP包含一组API和示例程序，演示使用Internet超文本传输协议HTTP（HyperText Transfer Protocol）。这是环球网WWW（World Wide Web）所用的基本协议。这组API可以用来在Visual Prolog中创建WWW客户与服务器实用程序和Internet代理（Agent）。 35. CGI支持和例子 VP包含一些CGI例子，显示如何创建和生成动态Web页的VP程序。 36. ISAPI支持和例子 VP支持Microsoft的ISAPI，允许在Microsoft信息服务器或任何其它支持ISAPI接口的HTTP服务器上有高性能脚本。 37.与JAVA小程序通信 VP还包括一些例子，显示如何使Prolog服务器与JAVA小程序（Applet）进行通信。 主 要 内 容 一、概 述 二、Visual Prolog与Prolog 三、Prolog能作何用 四、Visual Prolog的特点 五、Prolog与其它语言有何差别? 六、关于Visual Prolog资料 七、系统需求 5.1 Prolog是描述性的 一个Prolog程序由问题描述组成，而不是通过一系列步骤指定计算机必须如何工作来求解问题。从概念上讲，这个描述由两个部分组成： 1) 描述问题涉及的对象 2) 描述这些对象之间关系的事实和规则 Prolog程序中的规则规定了给定的输入数据和由输入产生的输出之间的关系。 五、Prolog与其它语言有何差别? 5.2 Prolog使用事实和规则 一个Prolog程序实质上由一系列逻辑语句组成，这些语句或者是以事实的形式，或者是以规则的形式。 5.3 Prolog能做推演 给出Prolog程序一个目标，如 Goal father(John, Mary). Prolog将因为这个目标与存储的事实匹配而回答： Yes. 如果在目标中使用变量，Prolog将求出这个变量的值： Goal father(X, Mary). Prolog将因为查找到事实而回答 X=John 5.4 Prolog求解过程是自动控制的 当一个VP程序用可视化开发环境的Test Goal实用程序运行时，系统试图找到满足给定目标的所有可能的解。在执行期间，显示结果。 VP使用回溯机制，每次找到一个解，使Prolog再次评估那些假设，查看某些新值是否能提供新的解。而这种寻找所有解的过程是自动控制的。 5.5 Prolog具有简洁的语法 学习VP的语法比传统编程语言的复杂语法要容易的多。 10. VP大型联机帮助参考信息 这个帮助设施提供一个完全的VDE操作指南和完整的基本Prolog语言及可视化编程扩展的参考信息。 11.可视化编程接口（VPI） 一种可移植的Visual Prolog图形用户接口（GUI）API已经定义。这个API是一种抽象的设施，可以在基本的Windows 95/98/Me/XP及Windows NT/2000平台中找到。可视化编程接口给Visual Prolog程序员一个比本地编程更可移植和更容易使用的GUI API。然而，为了使用户不受限制，VPI也包含不可移植的平台专用设施和选件。 12.高级GUI部件 这些工具包括删格、树型窗口、Explorer视图、工具栏、制表对话框、高级报表处理等。 13.快速而高度优化的编译器 VP的编译器产生紧凑的本地代码，足以与Pascal和C编译器所生成的代码媲美。编译器执行几种不同的分析，范围从全局流程分析和确定性机制检查，向下到寄存器分配和偷窥优化。 除了产生有效代码，编译器执行许多高级检查，检测潜在的编译时间问题。主要是类型检验分析、全局流程分析,确定性机制检查和可能的失败检测。 编译器选件对话框 14.检测编译时间错误的类型检查机制 VP杰出的特性之一是其类型机制，它提供一个额外级别的编程安全性。类型声明是资料性代码，有助于编译器在开发的早期阶段指出创建的类型错误和更严重的逻辑错误。因此，通过比照程序员和开发系统之间的类型，使得类型声明有助于保证一个程序在整个产品生命周期的完整性。更进一步