The latest version of logict is 0.8.2.0-0.

logict

Version 0.7.0.0 revision 1 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

Components