logict
Version 0.8.2.0 revision 0 uploaded by Bodigrim.
Package meta
- Synopsis
- A backtracking logic-programming monad.
- Description
Adapted from the paper Backtracking, Interleaving, and Terminating Monad Transformers by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.
- Author
- Dan Doel
- Bug reports
- n/a
- Category
- Control
- Copyright
- (c) 2007-2014 Dan Doel, (c) 2011-2013 Edward Kmett, (c) 2014 Roman Cheplyaka, (c) 2020-2021 Andrew Lelechenko, (c) 2020-2021 Kevin Quick
- Homepage
- https://github.com/Bodigrim/logict#readme
- Maintainer
- Andrew Lelechenko <andrew.lelechenko@gmail.com>
- Package URL
- n/a
- Stability
- n/a