logict 0.2 → 0.2.1

raw patch · 2 files changed

+3/−2 lines, 2 files

Files

• Control/Monad/Logic.hs +1/−0
• logict.cabal +2/−2

@@ -177,6 +177,7 @@ instance Monad Logic where     return = Logic . return     m >>= f = Logic $ unLogic m >>= unLogic . f+    fail   = Logic . fail  instance MonadPlus Logic where     mzero = Logic mzero

@@ -1,10 +1,10 @@ Name:                   logict-Version:                0.2+Version:                0.2.1 Description:            A continuation-based, backtracking, logic programming monad.                         An adaptation of the two-continuation implementation found                         in the paper "Backtracking, Interleaving, and Terminating                         Monad Transformers" available here:-                        http://okmij.org/ftp/papers/LogicT.pdf+                        <http://okmij.org/ftp/papers/LogicT.pdf> Synopsis:               A backtracking logic-programming monad. Category:               Control License:                BSD3