Package Info

ghc-logict


A backtracking logic-programming monad


Unspecified

Adapted from the paper <http://okmij.org/ftp/papers/LogicT.pdf Backtracking, Interleaving, and Terminating Monad Transformers> by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.


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

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.7.1.0-bp156.3.3 info GA Release 2023-12-07 15 SP6
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • ghc-logict
  • ghc-logict-devel
0.7.1.0-bp155.2.16 info GA Release 2023-05-22 15 SP5
  • AArch64
  • ppc64le
  • s390x
  • x86-64
  • ghc-logict
  • ghc-logict-devel
0.7.1.0-bp154.1.12 info GA Release 2022-05-09 15 SP4
  • 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
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.6.0.2-bp151.4.2 info GA Release 2019-07-17 15 SP1
  • ppc64le
  • 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-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