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