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).


Recent releases

  •  30 Nov 2001 21: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.

    •  04 May 1999 03:31

      Release Notes: First announced version.


      Project Spotlight


      A Fluent OpenStack client API for Java.


      Project Spotlight

      TurnKey TWiki Appliance

      A TWiki appliance that is easy to use and lightweight.