GNU Prolog 1.4.4 can be downloaded from our website for free. This free program is an intellectual property of Daniel Diaz. The program lies within Development Tools, more precisely IDE. Our antivirus scan shows that this download is safe.
From the developer:
GNU Prolog is a free Prolog compiler with constraint solving over finite domains. 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. 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. GNU Prolog also includes an efficient constraint solver over Finite Domains (FD).
You may want to check out more software, such as Visual Prolog, SWI-Prolog or GNU Pascal, which might be related to GNU Prolog.