The latest version of logict is 0.8.2.0-0.

logict

Version 0.5.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-2010, Dan Doel, Copyright (c) 2011, Edward Kmett
Homepage
http://code.haskell.org/~dolio/logict
Maintainer
dan.doel@gmail.com
Package URL
n/a
Stability
Experimental

Components