Backtracking logic-programming monad
This library provides 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 online.
- Website: https://github.com/Bodigrim/logict#readme
- Licenses: Modified BSD
- Package source: gnu/packages/haskell-xyz.scm
- Builds: See build status
- Issues: See known issues
ghc-logict 0.8.0.0 as follows:
guix install firstname.lastname@example.org
Or install the latest version:
guix install ghc-logict
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the
guix shell documentation for more information.