Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status

dev-haskell/
logict

A backtracking logic-programming monad

https://github.com/Bodigrim/logict#readme

Version 0.8.0.0 is available upstream. Please consider updating!
It seems that version 0.8.0.0 is available upstream, while the latest version in the Gentoo tree is 0.7.0.3.
You think this warning is false? Read more about it here.

Available Versions

Version amd64 x86 alpha arm arm64 hppa ia64 ppc ppc64 riscv sparc
0.7.0.3 : 0 amd64 ~x86 alpha arm ~arm64 hppa ia64 ppc ~ppc64 ~riscv sparc

Package Metadata

  • Upstream
    Remote-Id https://github.com/Bodigrim/logict
  • Full description
    A continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper "Backtracking, Interleaving, and Terminating Monad Transformers" available here: <http://okmij.org/ftp/papers/LogicT.pdf>
  • USE flags
    Global Use Flags
  • License
    BSD
  • Maintainer(s)
    Gentoo Haskell