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编译器是80年代创建的Turbo Prolog编译器的继承者，是第一个Prolog编译器。此后，Prolog开发中心一直在开发和改进其编译器。目前，Visual Prolog编译器是一个强大而高效的编译器，它可以:

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

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

验证谓词模式；

执行强类型检查；

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

执行谓词解析。

连接器

Visual Prolog包含一个强大的链接器，它可以:

创建EXE和DLL文件；

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

调试器

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

通常的调试器视图:内存、堆栈、变量；

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

大步走，大步走等。；

包括以下附加步骤:退出并运行序言代码；

可视化失败并退出。

Visual Prolog中包含的示例

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

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