Welcome to the gprolog for Mac OS X Installer

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 linking the code of most unused built-in predicates. The performance of GNU Prolog is very encouraging (comparable to commercial systems). Beside native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger.

http://gprolog.inria.fr/

This installer guides you through the steps necessary to install gprolog 1.4.0 for Mac OS X. To get started, click Continue.