# HOW TO EDIT THIS FILE: # The "handy ruler" below makes it easier to edit a package description. # Line up the first '|' above the ':' following the base package name, and # the '|' on the right side marks the last column you can put a character in. # You must make exactly 11 lines for the formatting to be correct. It's also # customary to leave one space after the ':' except on otherwise blank lines. |-----handy-ruler------------------------------------------------------| haskell-logict: haskell-logict (backtracking logic-programming monad) haskell-logict: haskell-logict: A continuation-based, backtracking, logic programming monad. An haskell-logict: adaptation of the two-continuation implementation found in the paper haskell-logict: "Backtracking, Interleaving, and Terminating Monad Transformers". haskell-logict: haskell-logict: haskell-logict: haskell-logict: haskell-logict: haskell-logict: