create new tag
, view all tags
+++ Gnu Prolog

GnuProlog is a very fast Prolog implementation together with and a very fast Finite Domain constraint solver.

It has been developed by Daniel Diaz at the INRIA laboratories (France).

You can find it at http://gnu-prolog.inria.fr/ (primary site) or at http://www.gnu.org/software/gprolog/.

+++ What is 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 (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.

+++ Features

  • Prolog system:
    • conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code,...).
    • a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface,...
    • more than 300 Prolog built-in predicates.
    • Prolog debugger and a low-level WAM debugger.
    • line editing facility under the interactive interpreter with completion on atoms.
    • powerful bidirectional interface between Prolog and C.
  • Compiler:
    • native-code compiler producing stand alone executables.
    • simple command-line compiler accepting a wide variety of files: Prolog files, C files, WAM files,...
    • direct generation of assembly code 15 times faster than wamcc + gcc.
    • most of unused built-in predicates are not linked (to reduce the size of the executables).
    • compiled predicates (native-code) as fast as wamcc on average.
    • consulted predicates (byte-code) 5 times faster than wamcc.
  • Constraint solver:
    • FD variables well integrated into the Prolog environment (full compatibility with Prolog variables and integers). No need for explicit FD declarations.
    • very efficient FD solver (comparable to commercial solvers).
    • high-level constraints can be described in terms of simple primitives.
    • a lot of predefined constraints: arithmetic constraints, boolean constraints, symbolic constraints, reified constraints,...
    • several predefined enumeration heuristics.
    • the user can define his own new constraints.
    • more than 50 FD built-in constraints/predicates.

[ quoted from the Gnu-prolog home page ]

-- AndreaSterbini - 22 Aug 2003

Topic revision: r1 - 2003-08-22 - AndreaSterbini
  • Learn about TWiki  
  • Download TWiki
This site is powered by the TWiki collaboration platform Powered by Perl Hosted by OICcam.com Ideas, requests, problems regarding TWiki? Send feedback. Ask community in the support forum.
Copyright © 1999-2018 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.