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

最新发布的相关软件：

SWI-Prolog语言6.2.6_SWI-Prolog 6.2.6

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

工具编写代码

SWI-Prolog的便携式是基于一个非常简单的Prolog的虚拟机称为ZIP只定义了7指令。的Prolog语言可以很容易地被编译成这种语言和抽象的机器代码很容易反编译回Prolog的。 ，因为它是在虚拟机中，也可以连接一个标准的4端口调试器，编译和解释的神器出山:www.shenqi73.com代码之间的区别也没有必要。

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

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

SWI-Prolog的便携式是一个工具，最小的指令集扩展，以提高性能。同时延长了这一套已经采取谨慎措施，以保持优势的编译后的代码反编译和跟踪。

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

这里是“SWI-Prolog的便携式”的一些主要特点：

·内核在LGPL许可。 Prolog语言库GPL下发行的专有应用程序中使用一个额外的语句，它允许。
·快速编译。例如，负荷14万行代码超过500个源文件，在2.3秒的AMD 5400 +系统。
·功能强大且免费的内存泄漏。在使用24x7不间断运行的多个服务器（包括网络服务）。
·小。完整的开发环境，包括图形，图书馆和许多界面包大约需要。 40MB的硬盘。非图形核心650KB左右，的图形库增加了约1.2MB的形象。
·大型应用程序的可扩展性。没有限制程序的大小，原子的长度，任期元数或整数值。许多事实（索引）上的谓词而不会降低性能。
·无界整数和有理数运算的基础上GMP库。
·一套全面的内部谓词，覆盖的ISO标准，事实上的爱丁堡Prolog的标准和重要组成部分，昆图斯和SICStus的Prolog的第1部分。 Ciao的，YAP和GNU-PROLOG公平的相容性。
·灵活和快速的接口的C-和C + +语言。该接口允许调用这两个方法，处理不确定性的方法和嵌入的SWI-Prolog的内核中的C / C + +项目。
·的好东西：模块（向上兼容昆图斯和SICStus），垃圾收集（C /?+ +的代码，包括原子垃圾收集），最后，调用优化，动态扩展的运行栈，ISO例外的处理（包括透明C / C + +接口，用于捕捉和抛出异常）。
·源代码级调试器，支持图形通过XPCE（在Windows，Unix / Linux操作系统，MacOSX的）在所有平台上。
·执行分析器（时间和呼叫统计），Linux操作系统，大多数Unix平台和Windows速查。
·交叉引用。 gxref / 0的可扩展Prolog的交叉引用（外部参照）提供了一个图形化的前端。
·可移植到很多平台，包括几乎所有的Unix / Linux平台中，Windows（速查，其中包括64位版本）的MacOS X（使用的图形X11），和许多更多。均为32位和64位的硬件支持。来源是普通C99，使用GNU autoconf自动配置（配置，制作，安装）。
·UNICODE字符集的处理内部。网络和国际应用的理想选择。
·独立于机器的保存状态（保存在一个平台上运行使用另一个平台上的虚拟机）。
·多线程支持在同一个数据库中运行多个先发制人计划的prolog引擎。
·归因的变量，coroutining（冷冻/ 2，/ 2时，不同/ 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的控制台：复制/粘贴和支持的颜色。