Software · Development

SWI-Prolog

Name: SWI-Prolog
Author: SWI-Prolog

ISO/Edinburgh-style Prolog interpreter.

Completely free
Windows and Linux
Open source
No account

Ad-supported exit link (Clictune): an intermediate page may show for a few seconds before the official website. Direct link to the website, no intermediate page

Download from the official source

Direct download from the official website or repository; the address is checked automatically.

Report an error

Geographic availability: No geographic restriction found in our sources; availability is not checked country by country.

Technical details

Pricing: Completely freeconfirmed by Flathub, Winget (Windows Package Manager)
License: MIT — Open source (permissive)confirmed by Flathub, Winget (Windows Package Manager)
Open source: Yes
Commercial use: Yesconfirmed by Official plan pages (pricing, licence, terms), Flathub, Winget (Windows Package Manager)
Account required: Noconfirmed by Winget (Windows Package Manager)
Credit card required: Noconfirmed by Flathub, Winget (Windows Package Manager)
Watermark: Not applicable
Ads: not documented
Platforms: Windows and LinuxEstablished by Linux: Flathub · Windows: Winget
Publisher: SWI-Prolog
Latest version: 10.1.20 (31 October 2026)
Latest activity: 1 November 2026
Source code: github.com/SWI-Prolog/swi-prolog

At a glance

SWI-Prolog is completely free: it is open source software, and every feature is available without paying or subscribing.

Its licence (MIT) is a permissive open source licence: use, modification and redistribution are allowed, including in commercial projects.

Strengths

Open source code
No account needed
Commercial use allowed

About

SWI-Prolog is an open source (BSD-2) implementation of the Prolog language with many extensions. It is implemented in C (version 11) and Prolog and is available for many platforms (Linux, practically any POSIX like system, MacOS, Windows). All CPUs supported by Debian Linux are supported. A prototype running in your browser based on WASM (Web Assembly) is available. (SWI-)Prolog is a versatile language. It is being used for business rule validation, natural language processing, software verification, software refactoring, network configuration, security, robotics, reasoning in legal and medical domains, graph processing, machine learning (ILP, PLP), linked data (RDF), mathematical proofs, and much more.

Description from Flathub — AppStream (Flathub)

Sources and checks

Facts collected from Official plan pages (pricing, licence, terms) (commercial use) — 9 November 2026
Facts collected from Flathub (credit card, source code, publisher, licence, free status, platforms, commercial use, version) — 8 November 2026
Facts collected from Winget (Windows Package Manager) (credit card, account, publisher, licence, free status, platforms, commercial use, version) — 7 November 2026
Last technical check: 7 November 2026
Description from Flathub — AppStream (Flathub)

How listings are built →

Do you develop SWI-Prolog?

Correct this listing with the report form, or cite it with this optional badge (it shows the verified free status and changes nothing in the ranking):

<a href="https://licitpro.fr/en/resource/swi-prolog"><img src="https://licitpro.fr/badge/swi-prolog.svg?l=en" alt="Listed on LicitPro" height="20"></a>

Developers and publishers →