Visual Prolog个人版 v9.0.6 中文版

Visual Prolog是一款可视化Prolo语言开发环境，它集成了完整的编程环境，包括IDE、编译器和调试器等等，可以帮助用户设计各种人工智能程序。Visual Prolog拥有强大的对象系统，能够显著缩减开发时间和维护成本，有需要的用户敬请下载。

Visual Prolog特色介绍

逻辑编程概念(回溯，模式匹配)

代数数据类型

独特的对像体系

多线程(仅商业版支持)

参数多态性

支持Unicode

自动内存管理(垃圾收集)

...等等。

Visual Prolog功能介绍

语言特征

Visual Prolog编程语言的主要特征/概念是：

基于带有Horn子句的逻辑编程

完全面向对象

对象谓词值(代理)

强类型

代数数据类型

模式匹配与统一

受控的不确定性

完全集成的事实数据库

支持参数多态

自动内存管理

支持与C / C ++的直接链接

支持直接调用Win32 API函数

对象系统被构造用于提供者和用户之间的松散耦合。对象只能通过接口访问，并且接口仅与实现松散耦合。任何类都可以在继承或不继承其他类的实现的情况下实现任何接口。

强类型检查，无需指针算术和自动内存管理的组合实际上消除了访问冲突。

Visual Prolog在不产生访问冲突方面享有盛誉。正如我们的一位好用户曾经说过的那样：在Visual Prolog中，这种错误不是唯一的选择。我们打算保持这种方式，Visual Prolog 7系列也不例外。我们的目标是您必须与外来代码接口或坚持使用指针算法来引发访问冲突。

代数数据类型，事实数据库和模式匹配与非确定性搜索相结合，使Visual Prolog非常适合处理复杂的结构化知识。

除谓词值和对象外，所有Visual Prolog数据均具有人类可读的文本表示形式，可以将其写入和读回程序。

集成开发环境(IDE)

Visual Prolog集成开发环境(IDE)旨在使开发，测试和修改以Visual Prolog编写的应用程序变得容易，便捷和快速。

在开发大型项目中，它可能特别有用。

“项目”窗口中的模块，包含文件和资源的树表示形式有助于将项目项分组到包中，从而提供了更高的抽象级别。

在文本编辑器支持方便的文本编辑和浏览时的声明和实现。

该对话框编辑器提供了标准的控制，以设计对话框。

在菜单编辑器允许同时创建下拉和弹出菜单。

该工具栏编辑器允许创建各种工具栏。

该图形编辑器是一个用于创建，查看和编辑图标，光标和位图小一个方便的工具。

在构建基金支持必需的包插入，包括指令。

该浏览设施支持搜索特定的实体，“转到定义”和“去宣言”

编译器

Visual Prolog编译器是1980年代创建的Turbo Prolog编译器的后继产品，后者是第一个Prolog编译器。从那时起，Prolog开发中心一直在开发和改进其编译器。当前，Visual Prolog编译器是一种功能强大且高效的编译器，可以：

创建用于创建独立可执行文件或DLL的目标文件；

解决声明之间的交叉引用；

验证谓词模式；

执行强大的类型检查；

验证构造函数中的事实初始化；

执行谓词解析。

连接器

Visual Prolog包含一个强大的链接器，该链接器可以：

创建EXE和DLL文件；

使用由最新的Microsoft Visual C编译器生成的LIB文件。

调试器

Visual Prolog开发环境包含一个内置的图形调试器，该调试器可以：

显示通常的调试器视图：内存，堆栈，变量；

显示类别和对象事实及其值；

跨步，跨步等；

包括额外的步骤：退出，运行序言代码；

可视化失败并退出。

Visual Prolog中包含的示例

Visual Prolog个人版和商业版均包含许多示例项目，这些示例项目演示了各种Visual Prolog功能。

这些示例包括与在线教程相对应的 示例，这些示例位于examples目录的 _tutorials子目录中。