SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications.

The coverage analysis tool can annotate files by line and collect data from multiple threads and Prolog runs. The unit testing tool supports concurrent testing and hiding of output of …

Using the GIT repository is recommended if you want to stay up to date and expecially if you plan to develop C/C++ resources for SWI-Prolog. See the build instructions.

I consider using and deploying SWI-Prolog in a commercial project. You are probably wondering about the support status, how to connect the Prolog component to the other components of …

SWI-Prolog has several unique features that reduce the need to restart servers for fixing bugs or injecting diagnostic code. Its incremental compilation combined with generally local and …

By default, SWI-Prolog is installed as‘swipl’. The command line arguments of SWI-Prolog itself and its utility programs are documented using standard Unix man pages.

Many active SWI-Prolog users track the development releases or GIT versions for developing Prolog applications. Most of the time the development versions are fairly stable.

SWISH is a web-based tool for sharing and running Prolog code with enriched semantic highlighting and support for HTML5 and JavaScript visualizations.

SWI-Prolog is a comprehensive and portable implementation of the Prolog programming language. SWI-Prolog aims to be a robust and scalable implementation supporting a wide …

Redis -- a SWI-Prolog client for redis Transparent Inter-Process Communications (TIPC) libraries Google's Protocol Buffers Library SWI-Prolog YAML library SWI-Prolog binding to libarchive …