swi-prolog ☆

« Back to VersTracker

Description:
ISO/Edinburgh-style Prolog interpreter

Type: Formula | Tracked Since: Dec 28, 2025

Links: Homepage | @swiprolog | formulae.brew.sh

Category: Developer tools

Tags: prolog logic-programming ai compiler interpreter swi

Install: brew install swi-prolog

About:
SWI-Prolog is a robust, mature implementation of the Prolog programming language, adhering to the ISO standard. It offers a powerful environment for logic programming, featuring an efficient incremental compiler, extensive libraries, and strong support for unification and backtracking. Its main value is in solving complex problems in artificial intelligence, natural language processing, and knowledge representation.

Key Features:

ISO-compliant Prolog interpreter with an efficient incremental compiler
Extensive libraries for networking (HTTP server/client), XML/SGML processing, and graphics
Foreign language interface (FFI) for seamless integration with C, C++, and Java
Built-in support for multi-threading and constraints (CLP)
Portable across major operating systems (Linux, macOS, Windows)

Use Cases:

Developing expert systems and applications requiring symbolic reasoning
Natural Language Processing (NLP) and computational linguistics research
Building web servers and REST APIs using its built-in HTTP libraries
Automated theorem proving and educational purposes in computer science

Alternatives:

GNU Prolog – Native code compiler, generally faster for pure Prolog but has a smaller ecosystem of libraries compared to SWI-Prolog.
Scryer Prolog – A modern, Rust-based implementation focused on standards compliance and performance, but less mature in terms of library support.

Version History

Detected	Version	Rev	Change	Commit
Nov 10, 2024 3:02pm		0	VERSION_BUMP	705969f8
Oct 23, 2024 6:56pm		0	VERSION_BUMP	c5361cce