SWI-Prolog语言6.2.6_SWI-Prolog 6.2.6

最新发布的相关软件：

SWI-Prolog语言6.2.6_SWI-Prolog 6.2.6

SWI-Prolog的便携式6.2.6_SWI-Prolog Portable 6.2.6

一个全面的的Prolog语言环境

SWI-Prolog语言是一种工具，基于一个非常简单的Prolog的虚拟机称为ZIP定义7指令。

的Prolog语言可以很容易地被编译成这种语言和抽象的机器代码很容易反编译回Prolog的神器出山:www.shenqi73.com。 ，因为它是在虚拟机中，也可以连接一个标准的4端口调试器，编译和解释的代码之间的区别也没有必要。

除了简化系统本身的Prolog这种方法的优势，为程序开发：编译器是简单，快速，用户并没有事先决定是否需要调试和系统运行时稍微慢一点在调试模式下的设计。

我们必须付出的代价是一些性能下降（从虚拟机解释器的调试约20和有些额外的记忆体使用量，从而提高性能，以帮助编译器和调试器。

SWI-Prolog有最小的指令集扩展，以提高性能的可能性。

同时延长了这一套已经采取谨慎措施，以保持优势的编译后的代码反编译和跟踪。

扩展包括一些常用的专用指令的统一，谓词调用，内置的谓词，算术和控制的（;/ 2，| / 2），IF-THEN（ - / 2）和否定故障（\ + / 1）。

下面是一些主要特点的“SWI-Prolog的”：

快速编译：
例如，负荷14万行代码，分布在500个源文件在2.3秒的AMD 5400 +系统。
·功能强大且免费的内存泄漏。在使用24x7不间断运行的多个服务器（包括网络服务）。

小：
·完整的开发环境，包括图形，图书馆和许多界面包大约需要。 40MB的硬盘。非图形核心650KB左右，的图形库增加了约1.2MB的形象。

大型应用程序的可扩展性：
·没有限制程序的大小，原子的长度，任期元数或整数值。许多事实（索引）上的谓词而不会降低性能。

-IN-TIME索引静态和动态代码的任何参数，极大地简化了处理多过时的关系，有许多条款。

·无界整数和有理数运算的基础上GMP库。

·一套全面的内部谓词，覆盖的ISO标准，事实上的爱丁堡Prolog的标准和重要组成部分，昆图斯和SICStus的Prolog的第1部分。 Ciao的，YAP和GNU-PROLOG公平的相容性。

·灵活和快速的接口的C-和C + +语言。该接口允许调用这两个方法，处理不确定性的方法和嵌入的SWI-Prolog的内核中的C / C + +项目。

好吃的东西：
·模块（向上兼容昆图斯和SICStus），垃圾收集（C / C + +的代码，包括原子垃圾收集），最后，调用优化，动态扩展的运行栈，ISO异常处理（包括C /?+ +透明接口，用于捕捉和抛出异常）。

·源代码级调试器在所有平台上支持通过XPCE

·执行分析器（时间和呼叫统计）

·交叉引用。 gxref / 0的可扩展Prolog的交叉引用（外部参照）提供了一个图形化的前端。

·来源是普通C99，使用GNU autoconf自动配置（配置，制作，安装）。

·UNICODE字符集的处理内部。网络和国际应用的理想选择。

·独立于机器的保存状态（保存在一个平台上运行使用另一个平台上的虚拟机）。

·多线程支持在同一个数据库中运行多个先发制人计划的prolog引擎。

·归因的变量，coroutining（冷冻/ 2，/ 2时，不同/ 2），全局变量，环状术语。

·标志控制处理发生检查（假/真实/错误）请参阅current_prolog_flag / 2。

·约束逻辑编程，提供了库CHR（约束处理规则“），中电（FD），中电（R，Q）和各种其他人。

·捆绑的接口库的Java（JPL），ODBC，TCP / IP套接字，SSL，CGI等形式处理，检查该软件包。

·多线程的Web服务器提供全面的库库来生成HTML，HTTP授权，会话管理，交换JSON（使用许多AJAX部件）等。

·解析SGML / XML（HTML），解析RDF，存储和查询RDF三元模型的快速，灵活的库。 RDF / RDFS和OWL模型称为Triple20被分配单独的图形编辑器。

·读写能力的编程通过PlDoc的支持。提供手册和应用文档和生产的LaTeX文档，为您的应用程序的集成视图。
·单元测试通过PlUnit的支持。

此版本中的新功能：

·'包'包管理器的初始版本
·更好的源代码文件处理，特别是WRT。 ： - （文件）。
许多到调试器，提高源的处理能力和逻辑来决定哪个端口上被隐藏的修复。
·Windows版本现在使用MinGW编译器项目，在10-20peedup的构建。增强到swipl-win.exe的控制台：复制/粘贴和支持的颜色。