Linux workstation

Upstream software project

swi-prolog

Prolog Compiler

About swi-prolog

Prolog Compiler

This project links 49 native package records across 6 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 11 package records; Debian 13 (Trixie): 11 package records; Fedora 43: 13 package records; Fedora 44: 12 package records; openSUSE Leap 15.6: 1 package records; openSUSE Tumbleweed: 1 package records. Catalog coverage diagram, not an application screenshot.swi-prolog: recorded package coverageDebian 12 (Bookworm)11 recordsDebian 13 (Trixie)11 recordsFedora 4313 recordsFedora 4412 recordsopenSUSE Leap 15.61 recordsopenSUSE Tumbleweed1 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
swi-prolog
Publisher
Not authoritatively mapped
Native package records
49
Operating systems
debian-12, debian-13, fedora-43, fedora-44, opensuse-leap-15-6, opensuse-tumbleweed
License expression
GPL-2.0-or-later AND LGPL-2.1-or-later
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it. SWI-Prolog additionally offers: * A powerful module system * Garbage collection * Unicode character set handling * Unbounted integer and rational number arithmetic * Multithreading support * A powerful C/C++ interface * GNU Readline interface The value of RDMS for Prolog is often overestimated, as Prolog itself can manage substantial amounts of data. Nevertheless a Prolog/RDMS interface provides advantages if data is already provided in an RDMS, data must be shared with other applications, there are strong persistence requirements or there is too much data to fit in memory. The popularity of ODBC makes it possible to design a single foreign-language module that provides RDMS access for a wide variety of databases on a wide variety of platforms. The SWI-Prolog RDMS interface is closely modeled after the ODBC API. This API is rather low-level, but defaults and dynamic typing provided by Prolog give the user quite simple access to RDMS, while the interface provides the best possible performance given the RDMS independence constraint.

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. swi-prolog

    Debian 12 (Bookworm) / interpreters

    9.0.4+dfsg-2

    ISO/Edinburgh-style Prolog interpreter

    amd64arm64bookworm
  2. swi-prolog-bdb

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    Berkeley DB interface for SWI-Prolog

    amd64arm64bookworm
  3. swi-prolog-core

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    ISO/Edinburgh-style Prolog interpreter - core system

    amd64arm64bookworm
  4. swi-prolog-core-packages

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    ISO/Edinburgh-style Prolog interpreter - core packages

    amd64arm64bookworm
  5. swi-prolog-doc

    Debian 12 (Bookworm) / doc / source swi-prolog

    9.0.4+dfsg-2

    documentation and examples for SWI-Prolog

    allbookworm
  6. swi-prolog-full

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    ISO/Edinburgh-style Prolog interpreter - full suit

    amd64arm64bookworm
  7. swi-prolog-java

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    Bidirectional interface between SWI-Prolog and Java

    amd64arm64bookworm
  8. swi-prolog-nox

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    ISO/Edinburgh-style Prolog interpreter - without X support

    amd64arm64bookworm
  9. swi-prolog-odbc

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    ODBC library for SWI-Prolog

    amd64arm64bookworm
  10. swi-prolog-test

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    tests and checks for SWI-Prolog

    allbookworm
  11. swi-prolog-x

    Debian 12 (Bookworm) / interpreters / source swi-prolog

    9.0.4+dfsg-2

    User interface library for SWI-Prolog - with X support

    amd64arm64bookworm

Debian 13 (Trixie)

  1. swi-prolog

    Debian 13 (Trixie) / interpreters

    9.2.9+dfsg-1

    ISO/Edinburgh-style Prolog interpreter

    amd64arm64trixie
  2. swi-prolog-bdb

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    Berkeley DB interface for SWI-Prolog

    amd64arm64trixie
  3. swi-prolog-core

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    ISO/Edinburgh-style Prolog interpreter - core system

    amd64arm64trixie
  4. swi-prolog-core-packages

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    ISO/Edinburgh-style Prolog interpreter - core packages

    amd64arm64trixie
  5. swi-prolog-doc

    Debian 13 (Trixie) / doc / source swi-prolog

    9.2.9+dfsg-1

    documentation and examples for SWI-Prolog

    alltrixie
  6. swi-prolog-full

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    ISO/Edinburgh-style Prolog interpreter - full suit

    amd64arm64trixie
  7. swi-prolog-java

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    Bidirectional interface between SWI-Prolog and Java

    amd64arm64trixie
  8. swi-prolog-nox

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    ISO/Edinburgh-style Prolog interpreter - without X support

    amd64arm64trixie
  9. swi-prolog-odbc

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    ODBC library for SWI-Prolog

    amd64arm64trixie
  10. swi-prolog-test

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    tests and checks for SWI-Prolog

    alltrixie
  11. swi-prolog-x

    Debian 13 (Trixie) / interpreters / source swi-prolog

    9.2.9+dfsg-1

    User interface library for SWI-Prolog - with X support

    amd64arm64trixie

Fedora 43

  1. python3-janus-swi

    Fedora 43 / Unspecified / source python-janus-swi

    1.5.2-6.fc43

    Bidirectional interface between SWI Prolog and Python

    aarch64x86_6443
  2. swi-prolog

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter

    noarch43
  3. swi-prolog-bdb

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    SWI-Prolog Berkeley DB interface

    aarch64x86_6443
  4. swi-prolog-core

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter - core system

    aarch64x86_6443
  5. swi-prolog-core-packages

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter - core packages

    aarch64x86_6443
  6. swi-prolog-doc

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    Documentation and examples for SWI-Prolog

    noarch43
  7. swi-prolog-full

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter - full suite

    noarch43
  8. swi-prolog-java

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    Bidirectional interface between SWI-Prolog and Java

    aarch64x86_6443
  9. swi-prolog-nox

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter - without X support

    aarch64x86_6443
  10. swi-prolog-odbc

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    SWI-Prolog ODBC interface

    aarch64x86_6443
  11. swi-prolog-test

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    Tests and checks for SWI-Prolog

    noarch43
  12. swi-prolog-win

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    SWI-Prolog GUI interface

    aarch64x86_6443
  13. swi-prolog-x

    Fedora 43 / Unspecified / source pl

    9.2.9-8.fc43

    ISO/Edinburgh-style Prolog interpreter - with X support

    aarch64x86_6443

Fedora 44

  1. python3-janus-swi

    Fedora 44 / Unspecified / source python-janus-swi

    1.5.2-9.fc44

    Bidirectional interface between SWI Prolog and Python

    aarch64x86_6444
  2. swi-prolog

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter

    noarch44
  3. swi-prolog-bdb

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    SWI-Prolog Berkeley DB interface

    aarch64x86_6444
  4. swi-prolog-cli

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter - command line interface

    aarch64x86_6444
  5. swi-prolog-core

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter - core system

    aarch64x86_6444
  6. swi-prolog-core-packages

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter - core packages

    aarch64x86_6444
  7. swi-prolog-doc

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    Documentation and examples for SWI-Prolog

    noarch44
  8. swi-prolog-full

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter - full suite

    noarch44
  9. swi-prolog-java

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    Bidirectional interface between SWI-Prolog and Java

    aarch64x86_6444
  10. swi-prolog-odbc

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    SWI-Prolog ODBC interface

    aarch64x86_6444
  11. swi-prolog-test

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    Tests and checks for SWI-Prolog

    noarch44
  12. swi-prolog-win

    Fedora 44 / Unspecified / source pl

    10.0.2-1.fc44

    ISO/Edinburgh-style Prolog interpreter - with GUI support

    aarch64x86_6444

openSUSE Leap 15.6

  1. swipl

    openSUSE Leap 15.6 / Unspecified / source swipl

    9.0.4-bp156.1.41

    Prolog Compiler

    aarch64ppc64les390xx86_64leap-15.6

openSUSE Tumbleweed

  1. swipl

    openSUSE Tumbleweed / Unspecified / source swipl

    10.1.13-1.1

    Prolog Compiler

    x86_64tumbleweed

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.

swi-prolog Software and Packages | OpenFactory