A backtracking logic-programming monad with asymptotic improvements to msplit.

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

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.