软件截图:
序言GNU是一个免费的Prolog编译器与约束求解在有限域。 GNU Prolog语言Prolog的接受与约束方案，并产生本机二进制文件（如GCC并从C源代码）。所获得的可执行文件，然后独立。该可执行文件的大小可以小，因为GNU Prolog的可避免将大部分未使用内部谓词的代码。 GNU的Prolog的表现非常令人鼓舞（相当于商业系统）。旁边的本机代码编译，GNU的Prolog提供了一个经典的解释（顶层）与调试。
序言部分符合的Prolog的许多扩展在实践中是非常有用的ISO标准（全局变量， OS接口和插座）。 GNU Prolog的还包括解算器在有限域（FD）的有效约束。这将打开约束逻辑编程，以约束编程的力量相结合，逻辑编程的declarativity用户。其特点包括符合的序言根据与序言和C，本机代码编译器生成独立的可执行文件，简单的命令行编译器接受各种文件，预定义的完成对原子，双向接口的交互式解释的ISO标准，在线编辑工具限制：算术约束，布尔约束的，象征性的约束和具体化的约束，预定义的枚举启发式，以及用户可以定义自己的新的限制
评论没有发现