GNU Prolog (64-bit)

描述

GNU Prolog 是一个免费的 Prolog 编译器，可以在有限域上进行约束求解。 GNU Prolog 接受带有约束程序的 Prolog 并生成本机二进制文件（就像 gcc 从 C 源代码所做的那样）。获得的可执行文件然后是独立的。这个可执行文件的大小可以很小，因为 GNU Prolog 可以避免链接大多数未使用的内置谓词的代码。 GNU Prolog 的性能非常令人鼓舞（与商业系统相比）。除了本机代码编译之外，GNU Prolog 还提供带有调试器的经典解释器（顶级）。

Prolog 部分符合 Prolog 的 ISO 标准，具有许多在实践中非常有用的扩展（全局变量、操作系统接口和套接字）。 GNU Prolog 还包括一个有效的有限域 (FD) 约束求解器。这向用户开放了约束逻辑编程，将约束编程的功能与逻辑编程的声明性相结合。功能包括符合 Prolog 的 ISO 标准、交互式解释器下的行编辑工具以及原子完成、Prolog 和 C 之间的双向接口、生成独立可执行文件的本机代码编译器、接受各种文件的简单命令行编译器、预定义约束：算术约束、布尔约束、符号约束和具体约束，预定义枚举启发式，用户可以定义自己的新约束。