ANNOUNCE: GNU Prolog 1.0.0 (Prolog + FD constraint solver)

Daniel.Diaz@inria.fr (Daniel Diaz)
19 Apr 1999 14:59:03 -0400

          From comp.compilers

Related articles
ANNOUNCE: GNU Prolog 1.0.0 (Prolog + FD constraint solver) Daniel.Diaz@inria.fr (1999-04-19)
| List of all articles for this month |

From: Daniel.Diaz@inria.fr (Daniel Diaz)
Newsgroups: comp.compilers
Date: 19 Apr 1999 14:59:03 -0400
Organization: INRIA Rocquencourt
Keywords: prolog, available, logic

GNU Prolog 1.0.0 is available.


For detailed information consult the GNU Prolog web site:


      http://pauillac.inria.fr/~diaz/gnu-prolog


A general GNU web site (less detailed however) is available at:


      http://www.gnu.org/software/prolog/


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


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.


===============================================
                                  Daniel Diaz
University of Paris 1 INRIA Rocquencourt
      75013 Paris 78153 Le Chesnay Cedex
          FRANCE FRANCE
                email: Daniel.Diaz@inria.fr
===============================================


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.