13downloads
8this week
FreeFreeware
0reviews
Screenshots
About SWI-Prolog
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.
License: MIT
(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.
License: MIT
| Release info | Update on Oct 30, 2026 |
|---|---|
| Listing data | Flathub |
Reviews
No reviews yet. Be the first to review SWI-Prolog.
Used SWI-Prolog? Tell other visitors what you thought.
Log in to write a reviewOther products by this publisher
- "No Distractions" for YouTube 4.10 ----
- #Bible 11.6 "Incredible App - My sister shared this app with me a few weeks ago and it is truly incredible.
- #filmphotography 1.4.2 So, you decided to shoot on film?
- $quirrel 1.5.1 $quirrel Budget & Finance helps you plan each paycheck, track spending, manage debt, and see what is safe to spend before the next payday.
- % Percentage Calculator Pro 1.41 This is the Pro version of % Percentage Calculator.
Most viewed Linux Programming
-
1
Postman 12.36.3
API Development Environment
-
2
Clustta 0.4.42
Version control for creative work
-
3
Freelens 2.0.0
Free IDE for Kubernetes
-
4
Arduino IDE 1.8.19
Open-source electronics prototyping platform
-
5
DIY Layout Creator 6.10.0
Circuit layout design tool supporting PCB, vero-board, point-to-point, perf-board and guitar wiring diagrams
-
6
Apipost 8.2.7
Apipost = Postman + Swagger + Mock + Jmeter, Backend, frontend, testing, and online collaboration with real-time content synchronization
-
7
Kreya 1.21.0
All-in-one API Client
-
8
CraftOS-PC v2.8.3
Advanced ComputerCraft emulator
-
9
Arduino IDE v2 2.3.10
Open-source electronics prototyping platform
-
10
Resonance 3.6.1
Test and explore web services
Most downloaded Linux Programming
- 1 jreleaser 1.27.0 Release projects quickly and easily with JReleaser
-
2
apic 1.0.0
Tool for designing and collaborating on API contracts
-
3
GitFourchette 1.12.1
The comfortable Git UI
-
4
SoulFire 2.10.7
Advanced Minecraft Bot Tool
-
5
Clustta 0.4.42
Version control for creative work
-
6
Learn 6502 Assembly 0.9.3
Program vintage consoles
-
7
Resonance 3.6.1
Test and explore web services
-
8
Typst IDE 1.8.0
Write and preview Typst documents
- 9 Beekeeper Studio 6.2.2 The SQL Editor and Database Manager Of Your Dreams
- 10 PSLab 4.60.9 Pocket Science Lab