Flatnic

Linux · Developer Tools

SWI-Prolog

ISO/Edinburgh-style Prolog interpreter

by SWI-Prolog

Download

Official site: flathub.org

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.

How to install SWI-Prolog

  1. Click Download — the developer's official website opens in a new tab.
  2. Download the latest version there and run it. Choose Custom/Advanced where offered, and skip any bundled extras.
  3. Prefer the command line? With Flatpak you can install and update it with: flatpak install flathub org.swi_prolog.swipl
  4. Open SWI-Prolog once it finishes installing.
How to install Linux apps with Flatpak

Frequently asked questions

Is SWI-Prolog free to download?

Yes. The Download button sends you to flathub.org, the developer's official site, where SWI-Prolog is available to download. Flatnic doesn't host or modify any files.

How do I install SWI-Prolog from the command line?

With Flatpak, run: flatpak install flathub org.swi_prolog.swipl. This installs it from the official source and keeps it updated.

Is SWI-Prolog safe?

SWI-Prolog downloads directly from the developer. As always, scan the installer with your antivirus and choose Custom setup to skip any bundled extras.

Alternatives to SWI-Prolog

More
Visual Studio CodeCode editing. Redefined.VSCodiumTelemetry-less code editingDBeaver CommunityFree Universal Database ToolArduino IDE v2Open-source electronics prototyping platformPodman DesktopManage Podman and other container engines from a single UIAndroid StudioIDE for Android app developmentGitHub DesktopSimple collaboration from your desktopZedHigh-performance code editor