第二部分:第4章 Visua| Prolog概述 4.2 Visua| Prolog6基本特性 用非决定性搜索将符号数据类型、事实数据库和模式匹配结合起来, 这样使得 Visual Prolog非常适合于处理复杂的结构化知识。 除了谓词值和对象,所有的isua| Prolog数据都有一个人性化的可 读文本表示,它可以被写入并返回到程序 2004.11.3 A|程序设计
2004.11.3 AI程序设计 11 第二部分：第4章 Visual Prolog概述 4.2 Visual Prolog 6基本特性 • 用非决定性搜索将符号数据类型、事实数据库和模式匹配结合起来， 这样使得Visual Prolog非常适合于处理复杂的结构化知识。 • 除了谓词值和对象，所有的Visual Prolog数据都有一个人性化的可 读文本表示，它可以被写入并返回到程序
第二部分:第4章 Visua| Prolog概述 4.2 Visua| Prolog6基本特性 4.2.2图形化开发环境 Visual prolog集成开发环境可以更方便快捷地建立、测试和修改 Visua| Prolog应用程序。它在开发大型项目时非常有用。 项目窗口中的模块、包括文件和资源的树型结构,有助于将项目 打包,从而给出了一个额外级别的抽象。 文本编辑器可以方便地进行文本编辑,浏览那些声明和实现。 对话框编辑器为设计对话框提供了标准控件。 菜单编辑器允许创建下拉式菜单和弹出式菜单。 二影楼编允许彻舒种知若 看和编辑图标、指针和小位图 建造工具支持插入所需的程序包和包含指令。 浏览工具支持查找特定的实体,“ go to definition"和“goto declaration"。 2004.11.3 A|程序设计 12
2004.11.3 AI程序设计 12 第二部分：第4章 Visual Prolog概述 4.2 Visual Prolog 6基本特性 4.2.2 图形化开发环境 Visual Prolog集成开发环境可以更方便快捷地建立、测试和修改 Visual Prolog应用程序。它在开发大型项目时非常有用。 – 项目窗口中的模块、包括文件和资源的树型结构，有助于将项目 打包，从而给出了一个额外级别的抽象。 – 文本编辑器可以方便地进行文本编辑，浏览那些声明和实现。 – 对话框编辑器为设计对话框提供了标准控件。 – 菜单编辑器允许创建下拉式菜单和弹出式菜单。 – 工具栏编辑器允许创建各种工具栏。 – 图形编辑器可以方便地创建、查看和编辑图标、指针和小位图。 – 建造工具支持插入所需的程序包和包含指令。 – 浏览工具支持查找特定的实体， “go to definition”和“go to declaration
第二部分:第4章 Visua| Prolog概述 4.2 Visua| Prolog6基本特性 4.2.3编译器 Visua| Prolog编译器是二十世纪八十年代的 Turbo Prolog编译器的 后继产品, Turbo Prolog是第一个 Prolog编译器。自那时开始, PDC就一直开发并改进这个编译器,所以现在的 /isual Prolog编译 器是一个功能强大且高效的编译器,它可以用来: 为产生可单独执行的程序或DLL而创建目标文件 解决声明间的交叉引用 验证谓词模式 执行强类型检查 在构造器中验证事实初始化 进行谓词分解 2004.11.3 A|程序设计 13
2004.11.3 AI程序设计 13 第二部分：第4章 Visual Prolog概述 4.2 Visual Prolog 6基本特性 4.2.3 编译器 Visual Prolog编译器是二十世纪八十年代的Turbo Prolog 编译器的 后继产品，Turbo Prolog是第一个Prolog编译器。自那时开始， PDC就一直开发并改进这个编译器，所以现在的Visual Prolog编译 器是一个功能强大且高效的编译器，它可以用来： – 为产生可单独执行的程序或DLL而创建目标文件 – 解决声明间的交叉引用 – 验证谓词模式 – 执行强类型检查 – 在构造器中验证事实初始化 – 进行谓词分解
第二部分:第4章 Visua| Prolog概述 4.2 Visua| Prolog6基本特性 4.2.4链接器 Visual prolog拥有一个功能强大的链接器 产生EXE可执行文件和DLL文件 使用由最新的 Microsoft visua|C编译器产生的LIB文件 2004.11.3 A|程序设计 14
2004.11.3 AI程序设计 14 第二部分：第4章 Visual Prolog概述 4.2 Visual Prolog 6基本特性 4.2.4 链接器 Visual Prolog拥有一个功能强大的链接器： – 产生EXE可执行文件和DLL文件 – 使用由最新的Microsoft Visual C编译器产生的LIB文件
第二部分:第4章 Visua| Prolog概述 4.2 Visua| Prolog6基本特性 4.2.5调试器 Visual prolog集成开发环境包含一个内建图形化调试器: 显示常见的调试器视图:内存,堆栈,变量 显示类和对象事实的值 进行单步跟进( Trace into),单步越进( Step over),等等 包括额外的调试步骤:单步跳出,运行到 Prolog代码 Fai和Ex可视化等 2004.11.3 A|程序设计 15
2004.11.3 AI程序设计 15 第二部分：第4章 Visual Prolog概述 4.2 Visual Prolog 6基本特性 4.2.5 调试器 Visual Prolog集成开发环境包含一个内建图形化调试器： – 显示常见的调试器视图：内存，堆栈，变量 – 显示类和对象事实的值 – 进行单步跟进（Trace Into），单步越进（Step Over），等等 – 包括额外的调试步骤：单步跳出，运行到Prolog代码 – Fail和Exit可视化等