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]

Control
- Monad
  - Logic
    - Control.Monad.Logic.Sequence

Downloads

logict-sequence-0.2.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

Candidates

0.1.0.0

Versions [RSS]	0.1.0.0, 0.1.0.1, 0.2, 0.2.0.1 (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]
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-11-23T23:10:47Z
Distributions	NixOS:0.1.0.1
Downloads	216 total (27 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-0.2.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.