GNU Prolog (64-bit) 1.4.3
序言GNU是一个免费的Prolog编译器与约束求解在有限域。 GNU Prolog语言Prolog的接受与约束方案，并产生本机二进制文件（如GCC并从C源代码）。所获得的可执行文件，然后独立。该可执行文件的大小可以小，因为GNU Prolog的可避免将大部分未使用内部谓词的代码。 GNU的Prolog的表现非常令人鼓舞（相当于商业系统）。旁边的本机代码编译，GNU的Prolog提供了一个经典的解释（顶层）与调试。 序言部分符合的Prolog的许多扩展在实践中是非常有用的ISO标准（全局变量，...
最近浏览的软件
python-ups 6 Jun 15
Microsoft asp.net with visual studio .net - code samples 21 Sep 15
NumFuzz.js 5 Jun 15
Unicoder.js 12 Apr 15
Redis-Dump 13 May 15
-
Microsoft SQL Server 2005 Mobile Edition Device SDK 21 Sep 15
PostgreSQL Sybase ASE Import, Export & Convert Software 16 Apr 15
-
Matrix Embeddable Database Engine 11 Jul 15
embedly-node 28 Feb 15
Scriptcase - PHP Code Generator 11 Apr 18