prolog下载免费下载
多特软件站为您找到 40 款符合条件的软件



Visual Prolog作为基于经典Prolog语言演进而来的集成开发环境,巧妙融合了逻辑编程、函数式编程与面向对象编程三大范式优势。这款智能化编译工具通过封装底层技术细节,配合可视化操作界面与丰富的预制代码模块,大幅提升了软件开发效率。
核心功能解析
1. 采用可视化拖放界面设计,支持通过图形化组件快速搭建程序架构
2. 预制模块库涵盖常用开发场景,显著降低重复编码需求
3. 三范式混合编程模型支持逻辑推理、函数计算与对象交互的有机结合
独特优势
1. 多范式融合设计兼顾开发灵活性与运行效率
2. 图形化操作界面降低逻辑编程的学习门槛
3. 智能代码提示系统实时提供语法修正建议
版本演进
1. V7.3 Build 7303(维护更新):扩展Windows平台兼容性至Win7/WinXP/Win98/Win8系统,系统稳定性增强,运行时内存占用优化20%
对于软件获取,建议访问专业软件下载平台获取Visual Prolog V7.3 Build 7303的官方资源包(约23.6MB,共享版软件)。MacOS用户可通过虚拟机环境运行Windows版开发工具。如需了解具体配置要求或安装指导,欢迎随时提出详细咨询需求。





概括介绍
微软发布的免费工具集。
软件简介
微软发布的免费工具集。
Sysinternals Suite是微软发布的一套非常强大的免费工具程序集。我想介绍就不用多说了吧。用好Windows Sysinternals Suite里的工具,你将更有能力处理Windows的各种问题,而且不花一毛钱。
Sysinternals 之前为Winternals公司提供的免费工具,Winternals原本是一间主力产品为系统复原与资料保护的公司,为了解决工程师平常在工作上遇到的各种问题,便开发出许多小工具。之后他们将这些工具集合起来称为Sysinternals,并放在网路供人免费下载,其中也包含部分工具的原始码,一直以来都颇受IT专家社群的好评。






软件简介
1、ES2007介绍
方正飞鸿智能信息平台(Fix ES2007)是方正集团推出的国内领先企业基础架构中间件平台。Fix ES2007平台基于SOA架构体系,结合数据建模、业务建模、可视化流程引擎、动态表单设计等多种实现工具,其柔性的特点,保障了基于ES2007平台开发的系统可在.net平台与j2ee平台上无缝的切换运行,是企业应用开发的一个高效、强大、开放的开发工具。
2、ES2007技术特点
·高效的平台业务逻辑扩展
·组织机构设置和权限机制
·强大的工作流引擎和任务监控,协同机制
·应用部署以及模块运行,升级,管理机制
·强大的工作流引擎
·图形化工作流程设计
·所见即所得表单设计
·完善安全的权限分配体系
3、产品特性
·大并发海量数据的支撑
·即时通讯工具的外网通讯
·即时通讯工具的平台开发性
·全面的SOA 支持
·流程引擎标准化、性能更优
·全面的数据库支持(Oracle,Sqlserver,DB2,Sybase,Mysql)
·全面的WEB 服务器支持(iis,tomcat,websphere,weblogic,jboss,glassfish,apusic)
·全面的AJAX 技术的运用
·全面的浏览器支持(IE,FireFox,Chrome)
·富客户端技术的支持(Flex,silverlight)
·平台接口更标准,更易用
4、产品组件
·业务逻辑 建模工具 Studio
·流程引擎 Workflow
·表单设计 Formdesign
·数据库工具 DTS
·即时通讯 MSQ
·统一界面管理 Portal
·多种主题管理 Theme
·快速高效的代码开发框架 SDK
·企业应用集成EAI
·业务流程管理BPM
·面向服务架构 SOA
5、特色创新
· 快速开发性
开发效率提升高达70%、10 分钟可以完成一个流程全过程开发、1 天可以完成一个小型应用(如OA 办公系统)。
· 企业信息管理特征组件
封装了大量的企业信息管理不同行业的特征组件和业务模型,让使用者更关注于业务,从而使其从技术中解放出来,能迅速的构架用户的业务系统。
· 跨语言
可以无缝的在C#和JAVA 语言中切换,可以顺利的在.Net 和J2EE 平台上切换,是全球唯一款支持跨语言的中间件平台。大多数软件公司在为用户服务时往往会被用户左右,而用户很多情况会对需求发生变更,而对语言的变更也不在少数,而一旦发生,对与开发商来说将是致命的,因为语言是不互通的,换一门系统的开发语言,将会把系统的工作量放大两倍,而使用本平台,这些问题将不复存在。
· 多数据库
支持主流关系型数据库,如Oracle,Sqlserver,DB2,Sybase,Mysql。
· 跨平台
支持多操作系统,如WINDOWS,LINUX,UNIX,使用户部署时不用再关心终端服务器,只需要关注用户系统的业务开发即可。
6、案例
ES2007平台近十年的研发,在使用用户(软件公司)近100家。使用平台开发的案例和产品用户量在500家左右。
·中国电力投资集团东北分公司安全生产系统
·山东省环保局办公与实验室系统
·无锡太湖水资源监测与实验室系统
·江苏省邮政非邮期刊系统
·江苏省邮政13地市人工成本系统
·中国银行江苏省支行行政审批、柜员信用审批
·南京、扬州邮政办公、经营分析、亭箱等若干
·……
【个人免费版申请方式】
·方式一:官网()下载个人免费版——学习开发培训视频——项目开发(提供在线专业技术支持)——开发完成申请产品——项目部署
·方式二:申请产品——学习开发培训视频——项目开发(提供在线专业技术支持)——项目部署
【版本说明】
1、Fix ES2007(个人免费版)目的在于技术交流,仅供个人使用。
2、Fix ES2007(个人免费版)不限制功能、模块、开发权限,限制终端并发用户数5个账户,其他版本不限制。
3、项目开发完成不发布可不申请产品,官网提供免费下载,无需支付工本费。
4、申请单套产品需支付工本费200元,(包含产品包装盒、白皮书、安装手册、操作手册、安装光盘、加密锁),工本费与其他版本一致,可重复申请。

软件名称: 安卓修改大师 软件介绍: 安卓修改大师可以让您轻松将任何APK安装包进行反编译,替换应用程序界面上的任何文字和图片,并且通过代码级别的修改,实现汉化、破解、功能增强,甚至可以在任何的界面添加自定义的代码和功能。本软件还提供多渠道打包工具,无需源代码,直接通过APK安装包进行多渠道打包。本软件提供的反编译功能,仅供安卓开发爱好者对安装包进行反编译研究之用,严禁将反编译之后的安装包作为商业用途。如有违反,与本软件无关。本软件需要您的电脑安装了 .Net Framework 4.0以上版本和JDK1.8以上版本方可正常使用。 软件主要功能: 1、任意反编译安卓应用:自由定制任何没有加固过的APK安装包,可以修改应用程序图标和应用程序名称、替换界面吗上面的任何文字和图片、翻译或者汉化制作多语言版本,更支持通过高级的SMALI代码,实现对应用软件的破解。 2、拥有海量安卓应用和游戏的模板,方便反编译:提供海量最新最全的应用作为定制模板,可以直接下载后进行反向工程、破解、修改、查看源代码、查看安装包信息等操作(部分应用由于做了加固,暂时不能进行反向工程)。 3、提供多渠道打包功能:通过已经打包的APK安装包作为模板,反编译后,动态修改配置文件或者SMALI代码中的渠道标志来实现批量重新多渠道打包,由于不是源代码级别的打包,所以大大提升了批量打包的速度和效率。 4、提供应用小插件功能:系统提供大量应用插件,任何没有编程基础的用户都可以利用本功能,在任何应用中添加弹出窗口、新版本更新、图片轮播、网页广告、将广告apk内置到反编译的应用中等等强大的功能。 5、任意查看安卓应用的源代码:经过对APK安装包进行反编译,然后通过反映射的方式获取源代码。反编译获取的JAVA代码适合对源代码进行分析,查看应用内部逻辑,不可进行反编译,反编译工程只能在SMALI代码基础上修改。 6、内置众多的安卓应用反编译工具:软件还提供了大量的小工具,用来查看安装包信息,并可以在手机连接电脑的情况下,查看手机信息、实时日志、安装和管理手机的应用程序、管理手机的文件等等,并可以直接定制修改手机已经安装的应用程序。 功能特色: 1、可视化、全自动的反编译、编译、签名;支持批量编译APK。 2、以树形目录管理反编译出的Apk源码文件,浏览、打开、编辑、都可以统一在软件中实现,不同项目间可以自由切换,方便快捷。 3、自动识别图像资源,并提供该类资源的快捷替换功能,方便修改这类图片资源。 4、内置代码编辑器,支持包含(但不限于).samli、.xml、.html等各类格式文件的语法高亮显示,根据 smali文件格式的自动匹配相应语法;同时支持使用系统编辑器来编辑代码文件。 5、内置基于文件内容的单行或多行代码关键字搜索、可显示无穷多个搜索结果以标签的形式分门别类;可指定搜索范围(整个项目或在指定的文件或文件夹中搜索)、大小写,编码类型;从此无需再借助其他工具,即可轻松的完成搜索任务。 6、内嵌Unicode、UTF8、ANSI编码互转工具,方便硬编码文字的检索以及相关汉化类修改。 7、内置Log等调试工具,方便应用进程、logcat输出查看等进阶操作,监测修改apk的运行状况,以助于分析和查找错误。 8、内置ADB功能,包括使用ADB向设备(或模拟器)安装、卸载、运行修改后的apk,进行测试,并可管理所连接设备的存储文件(包括系统以及用户文件)。 9、所有操作步骤、结果都会显示在日志窗口,方便查看。 10、默认支持记事本、计算器等小工具,开放设置接口可根据本人需要自定义外部工具,满足个性化需求。
【更新日志】
1、核心DLL组件更新,建议完整下载安装到新目录,本版本不建议热更新 2、增加文件对比功能,可以在工具和编辑器顶部菜单中使用本功能 3、增加多渠道打包功能,可以在应用去毒的左侧导航栏中使用本功能 4、按照用户提出的意见和建议进行优化



为什么要用 EasyX?
许多学编程的都是从 C 语言开始入门的,而目前的现状是:
1. 有些学校以 Turbo C 为环境讲 C 语言,只是 Turbo C 的环境实在太老了,复制粘贴都很不方便。
2. 有些学校直接拿 VC 来讲 C 语言,因为 VC 的编辑和调试环境都很优秀,并且 VC 有适合教学的免费版本。可惜在 VC 下只能做一些文字性的练习题,想画条直线画个圆都很难,还要注册窗口类、建消息循环等等,初学者会受严重打击的。初学编程想要绘图就得用 TC,很是无奈。
3. 还有计算机图形学,这门课程的重点是绘图算法,而不是 Windows 编程。所以,许多老师不得不用 TC 教学,因为 Windows 绘图太复杂了,会偏离教学的重点。新的图形学的书有不少是用的 OpenGL,可是门槛依然很高。
所以,我想给大家一个更好的学习平台,就是 VC 方便的开发平台和 TC 简单的绘图功能,于是就有了这个 EasyX 库。如果您刚开始学 C 语言,或者您是一位教 C 语言的老师,再或者您在教计算机图形学,那么这个库一定会让您兴奋的。
[新增功能]
增加三次方贝塞尔曲线函数 polybezier (2018-4-22);
函数 floodfill 增加填充连续颜色表面的功能 (2018-5-4);
读写图片的函数 loadimage / saveimage 增加了对 png 和 tif 格式的支持 (2018-7-27)。
增加了对 Visual Studio 2019 的支持 (2019-4-15)。
[功能调整]
底层有较大调整(2018-4-22)。
安装包中的离线帮助文档改为在线浏览,并支持下载离线文档(2020-1-9)。
默认绘图窗口取消鼠标双击事件支持。如需支持,请在创建窗口时指定 EW_DBLCLKS 属性(2020-3-15)。
修改绘图窗口属性常量名,增加 EW_ 前缀(2020-3-15)。
[bug 修正]
解决了 settextstyle 会低概率导致字体格式错乱的 bug (2018-7-27);
提升了稳定性 (2019-1-19)。
提升了安装程序对各版本 VS 的兼容性 (2019-5-29)。
[其他]
由于调整了底层架构,暂时无法在单步调试的时候同时看到执行结果(不影响执行)。稍后会着重解决这个问题。(2018-7-27)
EasyX(c++图形库)是针对C++的图形库,可以帮 C语言初学者快速上手图形和游戏编程,EasyX库为C/C++提供了简单的绘图接口,可以帮助您快速编写图形程序,这个向导将帮助您安装EasyX库到指定开发环境中,EasyX目前支持Visual C++6/2008~2017。