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

Author:
Daniel Diaz <Daniel [dot] Diaz [at] inria [dot] fr> [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
8.29/10.00 (1 vote)

Homepage:
http://pauillac.inria.fr/~diaz/gnu-prolog/
Tar/GZ:
ftp://ftp.gnu.org/gnu/gprolog/

Trove categories: [change]

[Intended Audience]		Developers
[License]		OSI Approved :: GNU General Public License (GPL)
[Topic]		Software Development :: Compilers

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	1.2.8	30-Nov-2001	GNU General Public License (GPL)