The GNU Prolog web site The GNU Prolog web site Current stable version is gprolog-1.4.4 Table of contents • • • • • • • • • • GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed. 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).

We would like to show you a description here but the site won’t allow us. Power Supply Cookbook Rapidshare. SWI-Prolog for MS-Windows. For 64-bit versions of Windows, such as Windows XP 64-bit edition and Windows vista 64-bit. HKEY_LOCAL_MACHINE Software SWI Prolog.

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 programming to the user combining the power of constraint programming to the declarativity of logic programming. • 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.