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

逻辑编程概念(回溯,模式匹配)
代数数据类型
独特的对像体系
多线程(仅商业版支持)
参数多态性
支持Unicode
自动内存管理(垃圾收集)
...等等。
语言特征
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子目录中。
1:该下载地址为九点软件园本地下载地址,Visual Prolog中文版下载包预览图如下:

2:下载包的正确包名:VisualProlog_9a9m.com.zip
3:九点小编提醒本下载包九点小编亲自上传,上传时间为2025年9月25日,如果失效评论区留意反馈(小编上传的很辛苦喜欢就点个赞吧)
appinventor下载-App Inventor安卓编程软件v3.29.0720最新版下载
Jeecms最新版下载-Jeecms电脑版 v2012官方版下载
Easyprog最新版下载-Easyprog(凯迪恩编程软件) v1.9.5.1 官方版下载
Jenkins最新版下载-Jenkins长期支持版 v2.204.2官方版下载
LE-Log最新版下载-LE-Log(简单日志调试工具) v1.0官方版下载
UnRaid安装辅助工具最新版下载-UnRaid安装辅助工具 v6.8.1官方版下载
Zend Guard最新版下载-Zend Guard中文版v7.0官方版下载
LightProxy最新版下载-LightProxy(阿里抓包工具) v1.1.16官方版下载
Openfire最新版下载-Openfire服务器 v3.10.3官方版下载
Gradle最新版下载-Gradle中文版【JVM构建工具】 v5.5.1官方版下载
rt.jar下载-rt.jar包免费版下载
dbviewer下载-MiluDBViewer(数据库GUI工具) v0.3.9官方版下载
Altova XML Spy下载-Altova XML Spy(XML文本编辑工具) v2024免费版下载
Sourcetrail最新版下载-Sourcetrail(源码资源管理器) v2021.1.30 官方版下载
XUI框架下载-XUI框架 v1.1.6官方版下载
漏洞扫描工具下载-Vuls(漏洞扫描程序) v0.15.9官方版下载
CakePHP下载-CakePHP(开源Web应用框架) v4.2.6官方版下载
aspectjweaver下载-aspectjweaver.jar v1.1.0官方版下载
hbuilderx官网下载-HBuilderX v3.5.3.20220729官方版下载
tomcat-juli.jar下载-tomcat-juli.jar免费版下载
e4a破解版下载-易安卓E4A(含破解补丁) v7.1.14免注册版下载500.44MB5032人在玩易安卓E4A是九点小编为大家推荐的一款非常好用并基于谷歌Simple语言、专为安卓系统开发应用打造的编程辅助工具软件,让安卓开发无限简单,可以说是安卓版本的易语言程序。
下载
火山编程破解版下载-火山软件开发平台 V2.0绿色破解版下载1.2GB3869人在玩火山软件开发平台是九点小编为编程开发用户分享的全新专业且深受诸多用户们喜爱的软件开发编程工具应用,是一种目的硬件设备无关、目的软件环境无关、易学易用实用、完全本地化的软件快速开发平台,有着极高流畅度的专业型迅速软件软件开发平台
下载
appinventor下载-App Inventor安卓编程软件v3.29.0720最新版下载89.58M2435人在玩App Inventor是九点小编为程序员们推荐的一种基于Web的开发环境,用于创建Android应用程序。它是由麻省理工学院(MIT)开发的,旨在使移动应用程序开发变得更加易于学习和使用。
下载
星三好图形化编程软件下载-星三好图形化编程 v3.7.0官方版下载141MB1728人在玩星三好图形化编程软件是九点小编为大家推荐的一款功能强大,专业实用的优秀网络编程学习软件,用户能够通过积木形状模块来实现构成程序的命令和参数,只需要用鼠标拖动模块就能完成编程,欢迎下载使用。
下载
米思齐编程软件下载-Mixly(米思齐图形化编程工具) v2.0 RC4官方版下载96.72MB1720人在玩Mixly For Arduino(米思齐图形化编程工具)windows版,基于Google的Blockly图形化编程框架开发,目的是为了配合Arduino UNO开发板套件使用,实现Arduino程序的图像化编程,Mixly自带Java8运行环境,用户直接双击mixly.vbs即可使用。
下载
oracle 客户端下载-Oracle 11G客户端(32/64位) v11.2.0.4.0免费版下载1.95G1412人在玩oracle11g客户端 是从 Oralce 11gR2 的官方客户端安装包中而来的 Oracle 数据库客户端,专为企业设计,轻松运行大量数据库除了可以连接远程数据库以外,还包含 SQL Plus、JDBC Driver、ODBC Driver、Pro*C SDK、Net Configuration Assistant、Net Manager 等。
下载
易语言5.9破解版下载-易语言 V5.9完美破解版下载313.71MB1269人在玩易语言是九点小编为大家推荐的一款转为国人而设计的编程软件,由大连大有吴涛易语言软件开发有限公司推出,通过对易语言的学习,即便用户的英语水平不够好也能够轻松进行编程操作,让那些想编程且又不会英文的朋友们,提供了一条快速进入Windows程序编程的大门,支持基于汉语字、词编程的、全可视化的、跨主流操作系统平台的编程工具。
下载
navicat15破解版下载-Navicat 15 绿色版下载115MB1001人在玩Navicat 15是九点小编为大家推荐的一款功能强大的数据库管理软件,软件采用可视化操作方式,无需任何代码即可轻松完成数据库的增删改查、备份等操作,可以帮助用户更好的管理数据库。
下载
thonny官网下载-Thonny(Python编辑器) v3.3.13官方版下载27.6MB997人在玩Thonny是一款Python编辑器,基于python内置图形库tkinter开发出来的,支持Windows、Mac、Linux多平台,支持语法着色、代码自动补全、debug等功能,软件容易上手!
下载
redpandadevc++下载-Red Panda(小熊猫C++) v2.10官方版下载9.9MB893人在玩小熊猫C++是九点小编为大家推荐的一款专业的编程软件工具,软件是专为程序开发人员推出,软件无需复杂的安装和配置,打开即可直接编辑程序文件;无需创建项目,点击工具栏上按钮即可编译、运行和调试程序即可!
下载