Gprolog

• Overview
• Details
• About this entry

gprolog

http://gnu.org/software/gprolog
GNU Prolog is a free Prolog compiler with constraint solving over finite domains. It accepts a Prolog+ constraint program and produces a native binary. The obtained executable is now stand-alone. This executable can be quite small since GNU Prolog doesn't need to link the code of most unused built-in predicates. Besides the native code compilation, GNU Prolog offers a classical interactive interpreter (top-level). It also conforms to the ISO standard for Prolog. The program also includes an efficient constraint solver over Finite Domains (FD). This opens constraint logic programming to the user, combining its power with the declarativity of logic programming.

Documentation

User reference manual available from http://gnu-prolog.inria.fr/manual/index.html; User reference manual available in PostScript version from ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/manual.ps.gz; User reference manual available in DVI version from ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/manual-dvi.tar.gz.

This is a GNU package:gprolog

Download

Download version 1.2.13 (stable)
released on 14 June 2002

VCS Checkout

:pserver:anoncvs@subversions.gnu.org:/cvsroot/gprolog

Categories

• Software-development:compiler
• Use:software-development

Licensing

License	Verified by	Verified on	Notes
GPLv2	Janet Casey	31 January 2001

Leaders and contributors

Contact(s)	Role
Daniel Diaz	Maintainer

Resources and communication

Audience	Resource type	URI
Developer	VCS Repository Webview
Bug Tracking	E-mail	mailto:bug-prolog@gnu.org
Developer	E-mail	mailto:users-prolog@gnu.org

Software prerequisites

This entry (in part or in whole) was last reviewed on 23 August 2010.

Entry