logict
logict copied to clipboard
Bodigrim
A continuation-based backtracking logic programming monad
Would it be possible to get a few non-trivial examples? Perhaps a solution to some of the 99 Prolog problems for example? If its possible to use logict to process...
I am working on a library that tries to implement instances for a lot of mtl-style type classes: https://hackage.haskell.org/package/deriving-trans And now I wondered whether I managed to satisfy all the...
For any `MonadLogic` instance, we can write ```haskell gather :: MonadLogic m => m a -> m [a] gather m = msplit m >>= \case Nothing -> pure [] Just...
