Gprolog.org Website Review

> 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 clas*ical > 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, > GNU Prolog also includes an efficient constraint solver over Finite > Domains (FD). This opens contraint logic programming to the user > combining the power of constraint programming to the declarativity > of logic programming. > The GNU Prolog compiler is based on the Warren Abstract Machine > (WAM). It first compiles a Prolog program to a WAM file which is > then translated to a low-level machine independent language called > mini-as*embly specifically designed for GNU Prolog. The resulting > file is then translated to the as*embly language of the target > machine (from which an object is obtained). This allows GNU Prolog > to produce a native stand alone executable from a Prolog source > (similarly to what does a C compiler from a C program). The main > advantage of this compilation scheme is to produce native code and > to be fast. Another interesting feature is that executables are > small. Indeed, the code of most unused built-in predicates can be > excluded from the executables at link-time.