GNU Prolog (64-bit) 1.4.3

GNU Prolog（64 位）是一个功能强大且免费的 Prolog 编译器，可提供有限域上的约束求解。该软件专为需要轻松创建复杂程序的开发人员而设计。 GNU Prolog 接受带有约束程序的 Prolog 并生成本机二进制文件，使其独立且高效。

GNU Prolog 最显着的优点之一是它能够避免链接大多数未使用的内置谓词的代码，从而使可执行文件的大小更小。 GNU Prolog 的性能非常令人鼓舞，可与商业系统相媲美。

除了本机代码编译之外，GNU Prolog 还提供带有调试器的经典解释器（顶级）。解释器在交互模式下提供行编辑功能，并在原子上完成，使开发人员可以轻松调试他们的代码。

该软件符合 Prolog 的 ISO 标准，具有许多在实践中非常有用的扩展，例如全局变量、操作系统接口和套接字。这使开发人员更容易创建可以与其他系统无缝交互的复杂程序。

GNU Prolog 还包括有限域 (FD) 上的高效约束求解器。这通过将约束编程的强大功能与逻辑编程的声明性相结合，向用户开放了约束逻辑编程。使用此功能，用户可以轻松定义他们的约束，而不必担心语法错误或其他问题。

预定义约束包括算术约束，例如加法和减法；布尔约束，如 AND/OR；符号约束，如字符串匹配；具体化的约束允许您使用布尔运算符表达逻辑条件；预定义的枚举启发式方法，可帮助您通过系统地探索不同的可能性来快速找到解决方案。

用户还可以使用接受各种文件的 GNU prologue 命令行编译器提供的简单命令来定义自己的新约束。这对于希望更好地控制程序行为或需要预定义库中不可用的特定功能的开发人员来说很容易。

总而言之，如果您正在寻找一个强大而免费的工具，让您可以轻松地创建复杂的程序，同时严格遵守行业标准，那么 GNU prologue 就是您的最佳选择！