ghc-logict
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.
- Versions: 0.8.0.0
- 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
Installation
Install the latest version of ghc-logict as follows:
guix install ghc-logict
Or install a particular version:
guix install ghc-logict@0.8.0.0
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.
Badge code
HTML: <a href='http://127.0.0.1:3000/packages/ghc-logict/'><img src='http://127.0.0.1:3000/packages/ghc-logict/badges/latest-version.svg'></img></a> Markdown: [](http://127.0.0.1:3000/packages/ghc-logict/) Org: [[http://127.0.0.1:3000/packages/ghc-logict/][http://127.0.0.1:3000/packages/ghc-logict/badges/latest-version.svg]]