* native-code compiler producing stand alone executables. * powerful bidirectional interface between Prolog and C. * line editing facility under the interactive interpreter with completion on atoms. * Prolog debugger and a low-level WAM debugger. * more than 300 Prolog built-in predicates. * a lot of extensions: global variables, definite clause grammars (DCG), sockets interface, operating system interface. * conforms to the ISO standard for Prolog (floating point numbers, streams, dynamic code.). This opens contraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming. GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets.). The performances of GNU Prolog are very encouraging (comparable to commercial systems).īeside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. 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 obtained executable is then stand-alone. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
0 Comments
Leave a Reply. |