The GNU Prolog compiler (gprolog)
GNU Prolog is a free Prolog compiler with constraint solving over finite
domains. GNU Prolog accepts a Prolog+constraint program and produces a
native binary (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).
Beside the native-code compilation, GNU Prolog offers a classical interactive
interpreter (top-level).
The Prolog part conforms to the ISO
standard for Prolog with many extensions very useful in practice (global
variables, OS interface, sockets,...).
GNU Prolog also includes an efficient constraint solver over Finite
Domains (FD). This opens contraint logic pogramming to the user combining
the power of constraint programming to the declarativity of logic programming.
More information about GNU Prolog can be found at the GNU
Prolog web site.
Download
GNU Prolog can be get by anonymous ftp from:
Mailing list
To communicate with other GNU Prolog users and/or implementors send a mail
to users-prolog@gnu.org. To (un)subscribe
to this mailing list send a mail to users-prolog-request@gnu.org
with (un)subscribe in the subject line.
Reporting bugs
Please report bugs to bug-prolog@gnu.org.
To (un)subscribe to this mailing list send a mail to bug-prolog-request@gnu.org
with (un)subscribe in the subject line.
Please send questions and inquiries to gnu@gnu.org.
Please send comments on these web pages to webmasters@www.gnu.org.
Copyright (C) 1999 Free Software Foundation, Inc., 59 Temple Place -
Suite 330, Boston, MA 02111, USA
Verbatim copying and distribution of this entire article is permitted
in any medium, provided this notice is preserved.
Updated: 18 Apr 1999 dd