SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of features, libraries for constraint logic programming, multithreading, unit testing, GUI, interfacing to Java, ODBC and others, literate programming, a web server, SGML, RDF, RDFS, developer tools (including an IDE with a GUI debugger and GUI profiler), and extensive documentation.
SWI-Prolog runs on Unix, Windows, Macintosh and Linux platforms.
SWI-Prolog has been under continuous development since 1987. Its main author is Jan Wielemaker.
The name SWI is derived from Sociaal-Wetenschappelijke Informatica ("Social Science Informatics"), the former name of the group at the University of Amsterdam, where Wielemaker was employed when he initiated the development of SWI-Prolog.
SWI-Prolog is not based on the Warren Abstract Machine execution model of Prolog.
What is SWI-Prolog?
SWI-Prolog by SWI-Prolog (developed by Jan Wielemaker) is open-source Windows software in the ides & code editors category. The first release dates back to 1987. It is written in C. Besides Windows, it is available for GNU/Linux, BSD, macOS and Android.
Installation and requirements
The publisher provides EXE (NSIS) installers for 64-bit Windows. The main installer is 36.1 MB. Installation asks for administrator rights. A silent install is possible with the installer’s documented switches.
Updates and version history
The current version is 10.0.2, released on March 15, 2026. The version history goes back to January 27, 2021: 21 releases, all linked to the official files. That is about 4.1 releases a year.
Popularity and file types
The Chocolatey package has been downloaded 22,048 times. Wikipedia has an article about it in 8 of our languages. On Windows it registers 3 file types, including .pl, .prolog and .qlf. Similar programs include OpenCode, RStudio and Node.js (LTS).
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Documented silent install
- Also runs on GNU/Linux, BSD and macOS
- Mature project (since 1987)
Cons
- No native ARM64 build
- Installation needs administrator rights
In short: SWI-Prolog is an open-source ides & code editor tool for 64-bit PCs. It is actively maintained. Administrators can deploy it unattended.
Is SWI-Prolog safe to download?
- The file is served by swi-prolog.org, the publisher’s own domain
- The download link uses HTTPS
- A SHA256 hash is published, so you can verify the file:
2EC1F25BE0EAFB92E559004782B130774C12573FB4B7E8A917E534754A641AD6· Open the VirusTotal report for this hash - The link answered when we last checked it (October 22, 2026)
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 21 versions ›21 versions over 5 years · about 4.1 a year
| Version | Date | Size | Files |
|---|---|---|---|
| 10.0.2Latest | March 15, 2026 | 36.1 MB | 64-bit EXE (NSIS) |
| 10.0.1 | February 18, 2026 | 36.1 MB | 64-bit EXE (NSIS) |
| 10.0.0 | December 5, 2025 | 36.8 MB | 64-bit EXE (NSIS) |
| 9.2.9 | December 23, 2024 | 14.3 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.8 | October 23, 2024 | 13.9 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.7 | September 3, 2024 | 13.9 MB | 64-bit EXE (NSIS)32-bit EXE (NSIS) |
| 9.2.6 | July 24, 2024 | 13.8 MB | 32-bit EXE (NSIS)64-bit EXE (NSIS) |
| 9.2.5 | May 22, 2024 | 13.8 MB | 64-bit EXE (NSIS)32-bit EXE (NSIS) |
Install from the command line
Silent install ›winget install --id SWI-Prolog.SWI-Prolog -echoco install SWI-Prolog -yscoop install extras/swiplswipl-10.0.2-1.x64.exe /SProgram files (.exe): swipl.exe, swipl-ld.exe
Related guide: How to use winget: install and update apps
Also for other systems
brew install swi-prologflatpak install flathub org.swi_prolog.swiplInformation
- Publisher
- SWI-Prolog
- Developer
- Jan Wielemaker
- Category
- IDEs & code editors
- Licence
- BSD-2-Clause
- Price
- Free
- Source code
- github.com
- Written in
- C
- Content rating
- All ages
- Requires
- Windows 11 / 10
- Architecture
- 64-bit
- Installer
- EXE (NSIS)
- Other platforms
- GNU/Linux, BSD, macOS, Android
- Version
- 10.0.2
- Released
- March 15, 2026
- First release
- 1987
- Added to the catalogue
- January 10, 2022
- Versions listed
- 21
- Updates / year
- 4.1
- Chocolatey downloads
- 22,048
- Downloads on ExeAtlas
- 1
- Website
- swi-prolog.org
- winget ID
- SWI-Prolog.SWI-Prolog
- Chocolatey package
- SWI-Prolog
- Scoop package
- extras/swipl
File types it opens (3)
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to SWI-Prolog
See all ›-
OpenCode1.19.4OpenCode is an open source agent that helps you write and run code with any AI model. It's available as a terminal-based interface, desktop app, or IDE extension.Open source285.2K ↓ -
Open source705.1K ↓ -
Open source4.9M ↓ -
Open source88.8K ↓ -
Haxe4.3.7Haxe is an open source high-level strictly-typed programming language with a fast optimizing cross-compiler.Open source49.7K ↓ -
VSCodium1.143.17183VSCodium is a community-driven, freely-licensed and telemetry-free rebuilt of Microsoft's Visual Studio Code.Open source394.5K ↓ -
Open source94.6K ↓ -
Open source12.3K ↓
Frequently asked questions
Is SWI-Prolog free?
Yes. SWI-Prolog is open-source software under the BSD-2-Clause licence.
Is SWI-Prolog safe to download?
The download comes from swi-prolog.org, which belongs to the publisher; ExeAtlas does not host or change the file. Compare its SHA256 hash with the one shown here, or open the VirusTotal report for that hash.
How do I install SWI-Prolog with winget?
Open PowerShell or Windows Terminal and run the winget command shown on this page. winget downloads the official installer and checks its SHA256 hash before running it.
Can SWI-Prolog be installed silently?
Yes. The silent install page lists the exact command for each installer.
Does SWI-Prolog run on ARM (Windows on Arm)?
There is no ARM64 build; Windows 11 on Arm can run the 64-bit version through emulation.
Where can I download an older version of SWI-Prolog?
The versions page lists all 21 versions with links to their official installer files, back to January 27, 2021.
What are alternatives to SWI-Prolog?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans and Haxe. The alternatives page compares them.
