Hackage :: [Package]

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

[ control, library, mit ] [ Propose Tags ] [ Report a vulnerability ]
This version is deprecated.

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

[Skip to Readme]

Downloads

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

Package maintainers

For package maintainers and hackage trustees

Candidates

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 && <4.17), 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
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:17:45Z
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-22T17:16:59Z
Distributions
Downloads 563 total (20 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-22 [all 1 reports]

Readme for logict-sequence-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.