GNU Prolog (64-bit) 1.4.3
序言GNU是一个免费的Prolog编译器与约束求解在有限域。 GNU Prolog语言Prolog的接受与约束方案，并产生本机二进制文件（如GCC并从C源代码）。所获得的可执行文件，然后独立。该可执行文件的大小可以小，因为GNU Prolog的可避免将大部分未使用内部谓词的代码。 GNU的Prolog的表现非常令人鼓舞（相当于商业系统）。旁边的本机代码编译，GNU的Prolog提供了一个经典的解释（顶层）与调试。 序言部分符合的Prolog的许多扩展在实践中是非常有用的ISO标准（全局变量，...