Linux workstation

Upstream software project

gprolog

Documentation for GNU Prolog

About gprolog

Documentation for GNU Prolog

This project links 8 native package records across 4 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): 2 package records; Debian 13 (Trixie): 2 package records; Fedora 43: 2 package records; Fedora 44: 2 package records. Catalog coverage diagram, not an application screenshot.gprolog: recorded package coverageDebian 12 (Bookworm)2 recordsDebian 13 (Trixie)2 recordsFedora 432 recordsFedora 442 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
gprolog
Publisher
Not authoritatively mapped
Native package records
8
Operating systems
debian-12, debian-13, fedora-43, fedora-44
License expression
LGPL-3.0-or-later OR GPL-2.0-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.

GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz (http://loco.inria.fr/~diaz). GNU Prolog is a very efficient native compiler producing (small) stand-alone executables. GNU-Prolog also offers a classical top-level+debugger. GNU Prolog conforms to the ISO standard for Prolog but also includes a lot of extensions (global variables, DCG, sockets, OS interface,...). GNU Prolog also includes a powerful constraint solver over finite domains with many predefined constraints+heuristics.

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. gprolog

    Debian 12 (Bookworm) / devel

    1.4.5.0-3

    GNU Prolog compiler

    amd64bookworm
  2. gprolog-doc

    Debian 12 (Bookworm) / doc / source gprolog

    1.4.5.0-3

    documentation for the GNU Prolog compiler

    allbookworm

Debian 13 (Trixie)

  1. gprolog

    Debian 13 (Trixie) / devel

    1.4.5.0-3

    GNU Prolog compiler

    amd64trixie
  2. gprolog-doc

    Debian 13 (Trixie) / doc / source gprolog

    1.4.5.0-3

    documentation for the GNU Prolog compiler

    alltrixie

Fedora 43

  1. gprolog

    Fedora 43 / Unspecified / source gprolog

    1.5.0-15.fc43

    GNU Prolog is a free Prolog compiler

    aarch64x86_6443
  2. gprolog-docs

    Fedora 43 / Unspecified / source gprolog

    1.5.0-15.fc43

    Documentation for GNU Prolog

    aarch64x86_6443

Fedora 44

  1. gprolog

    Fedora 44 / Unspecified / source gprolog

    1.5.0-17.fc44

    GNU Prolog is a free Prolog compiler

    aarch64x86_6444
  2. gprolog-docs

    Fedora 44 / Unspecified / source gprolog

    1.5.0-17.fc44

    Documentation for GNU Prolog

    aarch64x86_6444

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.