Package0.8.2.0Control
logict
A backtracking logic-programming monad.
- Version0.8.2.0
- CategoryControl
- LicenceBSD-3-Clause
- AuthorDan Doel
- MaintainerAndrew Lelechenko <andrew.lelechenko@gmail.com>
- Homepagegithub.com/Bodigrim/logict#readme
- Pinned byhackage logict 0.8.2.0
- Sourcehackage.haskell.org/package/logict-0.8.2.0
Modules
2 modules- Control.Monad.Logic15Adapted from the paper
- Control.Monad.Logic.Class2Adapted from the paper
Description
Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.
Depends on
4 packages- base-4.20.2.0with GHC
- exceptions-0.10.9with GHC
- mtl-2.3.1with GHC
- transformers-0.6.1.1with GHC