logict-sequence: A backtracking logic-programming monad with asymptotic improvements to msplit

[ control, library, mit ] [ Propose Tags ] [ Report a vulnerability ]
Versions [RSS] 0.1.0.0, 0.1.0.1, 0.2, 0.2.0.1, 0.2.0.2 (info)
Change log CHANGELOG.md
Dependencies base (>=4.5 && <5), fail, logict (>=0.7.1.0 && <0.8), mmorph, mtl (>=2.0 && <2.3), sequence (>=0.9.8 && <0.10), transformers [details]
Tested with ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.4, ghc ==9.0.2, ghc ==9.2.5, ghc ==9.4.3
License MIT
Copyright (c) 2021 Jason Dagit, (c) 2014 Atze van der Ploeg
Author Jason Dagit
Maintainer Jason Dagit <dagitj@gmail.com>
Category Control
Home page https://github.com/dagit/logict-sequence
Bug tracker https://github.com/dagit/logict-sequence/issues
Source repo head: git clone https://github.com/dagit/logict-sequence
Uploaded by dfeuer at 2022-12-06T06:38:52Z
Distributions
Downloads 519 total (22 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-12-06 [all 1 reports]

Readme for logict-sequence-0.2.0.2

[back to package description]

Haskell-CI

LogicT-Sequence

Provides a variant of the LogicT monad that should have asymptotically better performance when frequently observing results. This is based on the the Reflection without Remorse paper. I created this package mainly because the code from the paper was not easy to use as a library.

Please see the LogicT paper for examples on how to use this monad.