Projects / GNU Prolog

GNU Prolog

GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems).


RSS Recent releases

  •  30 Nov 2001 16:23

Release Notes: A big modification (1 month) to optimize the execution speed , addition of acos/asin to Prolog arithmetics, and ports to Alpha/Linux, Alpha/OSF1, MIPS/IRIX,and x86/NetBSD.

  •  30 Jan 2001 06:12

    Release Notes: First announced version.


    Project Spotlight

    JDAL (Java Database Application Library)

    A Java Database Application Library.


    Project Spotlight

    Caché Monitor

    A dev utility for the InterSystems database Caché.