|ANNOUNCE: GNU Prolog 1.0.0 (Prolog + FD constraint solver) Daniel.Diaz@inria.fr (1999-04-19)|
|From:||Daniel.Diaz@inria.fr (Daniel Diaz)|
|Date:||19 Apr 1999 14:59:03 -0400|
|Keywords:||prolog, available, logic|
GNU Prolog 1.0.0 is available.
For detailed information consult the GNU Prolog web site:
A general GNU web site (less detailed however) is available at:
Here are some basic information about GNU Prolog:
GNU Prolog is a free Prolog compiler with constraint solving over finite
domains developed by Daniel Diaz.
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
Beside the native-code compilation, GNU Prolog offers a classical interactive
interpreter (top-level) with a debugger.
The Prolog part conforms to the ISO standard for Prolog with many extensions
very useful in practice (DCG, 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.
University of Paris 1 INRIA Rocquencourt
75013 Paris 78153 Le Chesnay Cedex
Return to the
Search the comp.compilers archives again.