The latest version of logict is 0.8.2.0-0.
logict
Version 0.7.0.2 revision 2 uploaded by phadej.
Package meta
- Synopsis
- A backtracking logic-programming monad.
- Description
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 here: http://okmij.org/ftp/papers/LogicT.pdf
- Author
- Dan Doel
- Bug reports
- n/a
- Category
- Control
- Copyright
- Copyright (c) 2007-2014, Dan Doel, Copyright (c) 2011-2013, Edward Kmett, Copyright (c) 2014, Roman Cheplyaka
- Homepage
- https://github.com/Bodigrim/logict#readme
- Maintainer
- Andrew Lelechenko <andrew.lelechenko@gmail.com>
- Package URL
- n/a
- Stability
- n/a