Install gprolog

SWI-Prolog provides you with a comprehensive and robust development environment for the Prolog logic programming language, which. From the developer: GNU Prolog is a free Prolog compiler with constraint solving over finite domains.

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 accepts Prolog with 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 small since GNU Prolog can avoid linking 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 classical 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, and sockets. This opens constraint logic programming to the user combining the power of constraint programming to the declarativity of logic programming.

Features include conforms to the ISO standard for Prolog, line editing facility under the interactive interpreter with completion on atoms, bidirectional interface between Prolog and C, native-code compiler producing stand alone executables, simple command-line compiler accepting a variety of files, predefined constraints: arithmetic constraints, Boolean constraints, symbolic constraints, and reified constraints, predefined enumeration heuristics, and user can define his own new constraints.

Free YouTube Downloader. IObit Uninstaller. Internet Download Manager. Advanced SystemCare Free. VLC Media Player. MacX YouTube Downloader. Microsoft Office YTD Video Downloader. Adobe Photoshop CC. VirtualDJ Avast Free Security. By default the system configures all features depending on whether the required packages these features depend on exist on the system.

Note that if you want to compile the Prolog-Java bridge 'JPL', you will have to have a discoverable JDK on the system; for testing you will need the hamcrest jar and junit jar but this is going too far now. As user root :. You can also choose to buy Visual Prolog 9 Commercial Edition.

The script needs to find the jars for hamcrest and junit in a directory called jars at the same level as the directory into which the SWI-Prolog distribution is cloned: You get those jars from Compiling manually With bash. Building is done using cmake, and it uses ninja-build to compute dependencies and build. As root: You may want to prepare the installation directory: Now may also be the time to install additional packages that SWI-Prolog depends on, in particular: As non-root, in your home directory