@hackage / logict-sequence

A backtracking logic-programming monad with asymptotic improvements to msplit

Latest0.2.0.2

About

Metadata

  • Last updated , by dfeuer
  • License MIT

  • Maintained by: Jason Dagit <dagitj@gmail.com>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.4.3
  2. 9.2.5
  3. 9.0.2
  4. 8.10.4
  5. 8.8.4
  6. 8.6.5
  7. 8.4.4
  8. 8.2.2
  9. 8.0.2
  10. 7.10.3

Readme

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.