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

Tags
Licenses

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.

    Screenshot

    Project Spotlight

    Alaya Webdav Server

    A simple WebDAV 1.0 server.

    Screenshot

    Project Spotlight

    filterunit

    A unit test facility for command line programs with file input and output.