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

[ control, library, mit ] [ Propose Tags ]

Adapted from the paper http://okmij.org/ftp/Haskell/zseq.pdf by Atze van der Ploeg and Oleg Kiselyov


[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1.0.0, 0.1.0.1
Change log CHANGELOG.md
Dependencies base (>=4.3 && <5), fail, logict, mtl (>=2.0 && <2.3), sequence (>=0.9.8 && <0.10), transformers, type-aligned (>=0.9.6 && <0.10) [details]
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 JasonDagit at 2021-07-20T04:38:45Z
Distributions NixOS:0.1.0.1
Downloads 170 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for logict-sequence-0.1.0.1

[back to package description]

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.