Package Info

ghc-logict


A backtracking logic-programming monad


Unspecified

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&gt;.


License: BSD-3-Clause
URL: https://hackage.haskell.org/package/logict

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.6.0.2-bp150.2.7 info GA Release 2018-07-31 15
  • AArch64
  • ppc64le
  • ghc-logict
  • ghc-logict-devel
0.6.0.2-bp150.2.8 info GA Release 2018-07-30 15
  • x86-64
  • ghc-logict
  • ghc-logict-devel
0.6.0.2-bp151.3.10 info GA Release 2019-05-31 15 SP1
  • AArch64
  • ghc-logict
  • ghc-logict-devel
0.6.0.2-bp151.4.2 info GA Release 2019-07-17 15 SP1
  • ppc64le
  • x86-64
  • ghc-logict
  • ghc-logict-devel
0.7.0.2-bp152.1.14 info GA Release 2020-06-16 15 SP2
  • AArch64
  • ppc64le
  • x86-64
  • ghc-logict
  • ghc-logict-devel
0.7.0.2-bp153.1.20 info GA Release 2021-04-08 15 SP3
  • AArch64
  • ppc64le
  • x86-64
  • ghc-logict
  • ghc-logict-devel