Linux workstation

Upstream software project

ghc-logict

A backtracking logic-programming monad

About ghc-logict

A backtracking logic-programming monad

This project links 10 native package records across 3 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

Fedora 43: 4 package records; Fedora 44: 4 package records; openSUSE Leap 15.6: 2 package records. Catalog coverage diagram, not an application screenshot.ghc-logict: recorded package coverageFedora 434 recordsFedora 444 recordsopenSUSE Leap 15.62 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
ghc-logict
Publisher
Not authoritatively mapped
Native package records
10
Operating systems
fedora-43, fedora-44, opensuse-leap-15-6
License expression
BSD-3-Clause
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.

A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers": <http://okmij.org/ftp/papers/LogicT.pdf>.

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.

Fedora 43

  1. ghc-logict

    Fedora 43 / Unspecified / source ghc-logict

    0.8.2.0-3.fc43

    A backtracking logic-programming monad

    aarch64x86_6443
  2. ghc-logict-devel

    Fedora 43 / Unspecified / source ghc-logict

    0.8.2.0-3.fc43

    Haskell logict library development files

    aarch64x86_6443
  3. ghc-logict-doc

    Fedora 43 / Unspecified / source ghc-logict

    0.8.2.0-3.fc43

    Haskell logict library documentation

    noarch43
  4. ghc-logict-prof

    Fedora 43 / Unspecified / source ghc-logict

    0.8.2.0-3.fc43

    Haskell logict profiling library

    aarch64x86_6443

Fedora 44

  1. ghc-logict

    Fedora 44 / Unspecified / source ghc-logict

    0.8.2.0-5.fc44

    A backtracking logic-programming monad

    aarch64x86_6444
  2. ghc-logict-devel

    Fedora 44 / Unspecified / source ghc-logict

    0.8.2.0-5.fc44

    Haskell logict library development files

    aarch64x86_6444
  3. ghc-logict-doc

    Fedora 44 / Unspecified / source ghc-logict

    0.8.2.0-5.fc44

    Haskell logict library documentation

    noarch44
  4. ghc-logict-prof

    Fedora 44 / Unspecified / source ghc-logict

    0.8.2.0-5.fc44

    Haskell logict profiling library

    aarch64x86_6444

openSUSE Leap 15.6

  1. ghc-logict

    openSUSE Leap 15.6 / Unspecified / source ghc-logict

    0.7.1.0-bp156.3.3

    A backtracking logic-programming monad

    aarch64ppc64les390xx86_64leap-15.6
  2. ghc-logict-devel

    openSUSE Leap 15.6 / Unspecified / source ghc-logict

    0.7.1.0-bp156.3.3

    Haskell logict library development files

    aarch64ppc64les390xx86_64leap-15.6

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.