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]


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS],, 0.2,, (info)
Change log CHANGELOG.md
Dependencies base (>=4.5 && <4.17), fail, logict (>= && <0.8), mmorph, mtl (>=2.0 && <2.3), sequence (>=0.9.8 && <0.10), transformers [details]
License MIT
Copyright (c) 2021 Jason Dagit, (c) 2014 Atze van der Ploeg
Author Jason Dagit
Maintainer Jason Dagit <dagitj@gmail.com>
Revised Revision 1 made by dfeuer at 2022-12-02T04:16:43Z
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-11-23T23:10:47Z
Distributions NixOS:
Downloads 223 total (34 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-11-24 [all 1 reports]

Readme for logict-sequence-

[back to package description]



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.