Who is SWI-Prolog for?

SWI-Prolog is an open-source project built for developers and researchers in logic programming.

Does SWI-Prolog have a free plan?

Yes — SWI-Prolog is open source under the Open Source license and free to use.

What platforms does SWI-Prolog run on?

SWI-Prolog runs on Linux, Windows, and macOS.

Is SWI-Prolog still active?

Unverified. SWI-Prolog has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to SWI-Prolog?

Similar projects tracked by PulseGate include metaclass-registry, mcp-docker, and Snippet Shortcodes.

Who develops SWI-Prolog?

SWI-Prolog is developed by SWI-Prolog.

Back to the index

SWI-Prolog

Name: SWI-Prolog
Author: SWI-Prolog

FlathubInfrastructure

SWI-Prolog is an open-source implementation of the Prolog language, offering many extensions and cross-platform support. It is used for business rule validation, NLP, software verification, and more, serving developers and researchers in logic programming.

Open SourceLinuxWindowsmacOS

Visit Flathub

Overview

4 features

SWI-Prolog sits in PulseGate's Frameworks & SDKs category. It focuses on providing a robust, extensible Prolog environment for logic programming and research. It is built as an open-source project for developers and researchers in logic programming. SWI-Prolog is open source under the Open Source license. SWI-Prolog is available on Linux, Windows, and macOS.

It is developed by SWI-Prolog. Among its 4 catalogued features are prolog interpreter, cross-platform, and open source.

Prolog interpreter
Cross-platform
Open source
WASM prototype

Built with & integrations

Runs on

LinuxWindowsmacOS

Trust & compliance

License

Open Source

Verified signals

HTTPSOpen SourceFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed29 Jun · 00:44 UTC
swipl verified against its public source
Source: PulseGate · Open

Frequently asked questions about SWI-Prolog

What does SWI-Prolog do?: SWI-Prolog focuses on providing a robust, extensible Prolog environment for logic programming and research. It is catalogued under Frameworks & SDKs on PulseGate.
Who is SWI-Prolog for?: SWI-Prolog is an open-source project built for developers and researchers in logic programming.
Does SWI-Prolog have a free plan?: Yes — SWI-Prolog is open source under the Open Source license and free to use.
What platforms does SWI-Prolog run on?: SWI-Prolog runs on Linux, Windows, and macOS.
Is SWI-Prolog still active?: Unverified. SWI-Prolog has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to SWI-Prolog?: Similar projects tracked by PulseGate include metaclass-registry, mcp-docker, and Snippet Shortcodes.metaclass-registry mcp-docker Snippet Shortcodes
Who develops SWI-Prolog?: SWI-Prolog is developed by SWI-Prolog.
Is SWI-Prolog open source?: Yes — SWI-Prolog is open source under the Open Source license.

At a glance

Platforms: Desktop
Languages: English
License: Open Source
Built for: developers and researchers in logic programming
Model: Open source
Solves: Providing a robust, extensible Prolog environment for logic programming and research.

Registered as

Flathub: org.swi_prolog.swipl

Live coverage

Identity confidence: Medium · 70
Indexed: 29 Jun 2026
Lifecycle: Unverified
Last seen: 29 Jun 2026

Identity audit (12)

Slug: swipl-flathub-org
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 29 Jun 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Written by a language model from the project's public pages.
Category from: Assigned by a language model.
Summary from: Taken from the project's own store listing.
Languages from: Detected by a language model from page content.
Last updated: 4 Aug 2026
Canonical URL: https://flathub.org/apps/org.swi_prolog.swipl

Ship this? Send a correction — no account, and you get a link to follow it.

Also in Frameworks & SDKs

Same category — not a similarity match