Oden Eriksson wrote:
An ISO standard Prolog with many extensions, including finite constraints,onsdagen den 15 januari 2003 16.49 skrev Ron Stodden:Oden Eriksson wrote:Some perl hacker could probably make this work, maybe even Troels himself? If I knew how to code I would have started yesterday with this.No perl? Then try something good, like gprolog?What's that?
produced by a GNU project.
A gprolog RPM is included in the Mandrake 9.0 download tree and ISOs.
A 1.5 cm thick manual after printing on 50gsm paper is also downloadable.
For more information:
http://gnu-prolog.inria.fr/
http://www.gnu.org/software/gprolog/gprolog.html
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.
--
Ron. [Melbourne, Australia]
20030106 updates now available for Fastest Mandrake downloader (English-only) from:
http://members.optusnet.com.au/ronst/
